Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs166.bht:"
@article{DBLP:journals/tcs/DegtyarevV96, author = {Anatoli Degtyarev and Andrei Voronkov}, title = {The Undecidability of Simultaneous Rigid E-Unification}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {291--300}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(96)00092-8}, doi = {10.1016/0304-3975(96)00092-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DegtyarevV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DemriO96, author = {St{\'{e}}phane Demri and Ewa Orlowska}, title = {Logical Analysis of Demonic Nondeterministic Programs}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {173--202}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00190-5}, doi = {10.1016/0304-3975(95)00190-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DemriO96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EtalleG96, author = {Sandro Etalle and Maurizio Gabbrielli}, title = {Transformations of {CLP} Modules}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {101--146}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00148-4}, doi = {10.1016/0304-3975(95)00148-4}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/EtalleG96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FouksS96, author = {Jean{-}Denis Fouks and Jean{-}Claude Spehner}, title = {Meta-Resolution: An Algorithmic Formalisation}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {147--172}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00155-7}, doi = {10.1016/0304-3975(95)00155-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FouksS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GottlobMNSS96, author = {Georg Gottlob and Sherry Marcus and Anil Nerode and Gernot Salzer and V. S. Subrahmanian}, title = {A Non-Ground Realization of the Stable and Well-Founded Semantics}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {221--262}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00207-3}, doi = {10.1016/0304-3975(95)00207-3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GottlobMNSS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Hoofman96, author = {Raymond Hoofman}, title = {Comparing Models of the Intensional Typed Lambda-Calculus}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {83--99}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00140-9}, doi = {10.1016/0304-3975(95)00140-9}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Hoofman96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Meinke96, author = {Karl Meinke}, title = {Topological Methods for Algebraic Specification}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {263--290}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00261-8}, doi = {10.1016/0304-3975(95)00261-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Meinke96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Park96, author = {Uchang Park}, title = {An Algebraic Formulation of the Aggregative Closure Query}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {49--62}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00081-X}, doi = {10.1016/0304-3975(95)00081-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Park96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/RamakrishnaMMDK96, author = {Y. S. Ramakrishna and P. M. Melliar{-}Smith and Louise E. Moser and Laura K. Dillon and George Kutty}, title = {Interval Logics and Their Decision Procedures, Part {I:} An Interval Logic}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {1--47}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00254-5}, doi = {10.1016/0304-3975(95)00254-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/RamakrishnaMMDK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ShenT96, author = {Enshao Shen and Qijia Tian}, title = {Monadic Partition Logics and Finite Automata}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {63--81}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00113-1}, doi = {10.1016/0304-3975(95)00113-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ShenT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Zhang96b, author = {Guo{-}Qiang Zhang}, title = {The Largest Cartesian Closed Category of Stable Domains}, journal = {Theor. Comput. Sci.}, volume = {166}, number = {1{\&}2}, pages = {203--219}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00191-3}, doi = {10.1016/0304-3975(95)00191-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Zhang96b.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.