![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs184.bht:"
@article{DBLP:journals/tcs/Andrews97, author = {James H. Andrews}, title = {A Logical Semantics for Depth-First Prolog with Ground Negation}, journal = {Theor. Comput. Sci.}, volume = {184}, number = {1-2}, pages = {105--143}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00138-7}, doi = {10.1016/S0304-3975(96)00138-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Andrews97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BrogiLMM97, author = {Antonio Brogi and Evelina Lamma and Paolo Mancarella and Paola Mello}, title = {A Unifying View for Logic Programming with Non-Monotonic Reasoning}, journal = {Theor. Comput. Sci.}, volume = {184}, number = {1-2}, pages = {1--5}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(97)80755-4}, doi = {10.1016/S0304-3975(97)80755-4}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BrogiLMM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BurmeisterRTV97, author = {Peter Burmeister and Francesc Rossell{\'{o}} and Joan Torrens and Gabriel Valiente}, title = {Algebraic Transformation of Unary Partial Algebras {I:} Double-Pushout Approach}, journal = {Theor. Comput. Sci.}, volume = {184}, number = {1-2}, pages = {145--193}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00139-9}, doi = {10.1016/S0304-3975(96)00139-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BurmeisterRTV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Lacoste97, author = {Thierry Lacoste}, title = {0-1 Laws by Preservation}, journal = {Theor. Comput. Sci.}, volume = {184}, number = {1-2}, pages = {237--245}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(97)00086-8}, doi = {10.1016/S0304-3975(97)00086-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Lacoste97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Su97, author = {Jianwen Su}, title = {Dynamic Constraints and Object Migration}, journal = {Theor. Comput. Sci.}, volume = {184}, number = {1-2}, pages = {195--236}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00142-9}, doi = {10.1016/S0304-3975(96)00142-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Su97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Wagner97, author = {Kim Ritter Wagner}, title = {Liminf Convergence in Omega-Categories}, journal = {Theor. Comput. Sci.}, volume = {184}, number = {1-2}, pages = {61--104}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00223-X}, doi = {10.1016/S0304-3975(96)00223-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Wagner97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.