Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs160.bht:"
@article{DBLP:journals/tcs/BaazLZ96, author = {Matthias Baaz and Alexander Leitsch and Richard Zach}, title = {Completeness of a First-Order Temporal Logic with Time-Gaps}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {241--270}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00107-7}, doi = {10.1016/0304-3975(95)00107-7}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BaazLZ96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BonattiE96, author = {Piero A. Bonatti and Thomas Eiter}, title = {Querying Disjunctive Databases Through Nonmonotonic Logics}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {321--363}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00192-1}, doi = {10.1016/0304-3975(95)00192-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BonattiE96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle96, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {X:} Linear Orderings}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {87--143}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00083-6}, doi = {10.1016/0304-3975(95)00083-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DurandR96, author = {Arnaud Durand and Solomampionona Ranaivoson}, title = {First-Order Spectra with one Binary Predicate}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {305--320}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00112-3}, doi = {10.1016/0304-3975(95)00112-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DurandR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KaminskiW96, author = {Michael Kaminski and Chung Kei Wong}, title = {The Power of the "Always" Operator in First-Order Temporal Logic}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {271--281}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00108-5}, doi = {10.1016/0304-3975(95)00108-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KaminskiW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Maddux96, author = {Roger D. Maddux}, title = {Relation-Algebraic Semantics}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {1--85}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00082-8}, doi = {10.1016/0304-3975(95)00082-8}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Maddux96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MarriottO96, author = {Kim Marriott and Martin Odersky}, title = {Negative Boolean Constraints}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {365--380}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00209-X}, doi = {10.1016/0304-3975(95)00209-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MarriottO96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Tronci96, author = {Enrico Tronci}, title = {Equational Programming in Lambda-Calculus via SL-Systems. Part 1}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {145--184}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00105-0}, doi = {10.1016/0304-3975(95)00105-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Tronci96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Tronci96a, author = {Enrico Tronci}, title = {Equational Programming in Lambda-Calculus via SL-Systems. Part 2}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {185--216}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00106-9}, doi = {10.1016/0304-3975(95)00106-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Tronci96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TuijnG96, author = {Chris Tuijn and Marc Gyssens}, title = {CGOOD, a Categorical Graph-Oriented Object Data Model}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {217--239}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00089-5}, doi = {10.1016/0304-3975(95)00089-5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/TuijnG96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Yamasaki96, author = {Susumu Yamasaki}, title = {{SLDNF} Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {283--303}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00109-3}, doi = {10.1016/0304-3975(95)00109-3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Yamasaki96.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.