Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/iandc/iandc87.bht:"
@article{DBLP:journals/iandc/Bloom90, author = {Bard Bloom}, title = {Can {LCF} be Topped? Flat Lattice Models of Typed lambda-Calculus}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {263--300}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90064-O}, doi = {10.1016/0890-5401(90)90064-O}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Bloom90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BruceL90, author = {Kim B. Bruce and Giuseppe Longo}, title = {A Modest Model of Records, Inheritance and Bounded Quantification}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {196--239}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90062-M}, doi = {10.1016/0890-5401(90)90062-M}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BruceL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CleavelandH90, author = {Rance Cleaveland and Matthew Hennessy}, title = {Priorities in Process Algebras}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {58--77}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90059-Q}, doi = {10.1016/0890-5401(90)90059-Q}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CleavelandH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/ComptonL90, author = {Kevin J. Compton and Claude Laflamme}, title = {An Algebra and a Logic for NC{\({^1}\)}}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {240--262}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90063-N}, doi = {10.1016/0890-5401(90)90063-N}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ComptonL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FaginHM90, author = {Ronald Fagin and Joseph Y. Halpern and Nimrod Megiddo}, title = {A Logic for Reasoning about Probabilities}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {78--128}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90060-U}, doi = {10.1016/0890-5401(90)90060-U}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/FaginHM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GallierNPS90, author = {Jean H. Gallier and Paliath Narendran and David A. Plaisted and Wayne Snyder}, title = {Rigid E-Unification: NP-Completeness and Applications to Equational Matings}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {129--195}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90061-L}, doi = {10.1016/0890-5401(90)90061-L}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GallierNPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Gurevich90, author = {Yuri Gurevich}, title = {Preface}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {1}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90057-O}, doi = {10.1016/0890-5401(90)90057-O}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Gurevich90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KolaitisV90, author = {Phokion G. Kolaitis and Moshe Y. Vardi}, title = {0-1 Laws and Decision Problems for Fragments of Second-Order Logic}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {301--337}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90065-P}, doi = {10.1016/0890-5401(90)90065-P}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KolaitisV90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Winskel90, author = {Glynn Winskel}, title = {A Compositional Proof System on a Category of Labelled Transition Systems}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {2--57}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90058-P}, doi = {10.1016/0890-5401(90)90058-P}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Winskel90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.