![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 114
Volume 114, Number 1, 1993
- Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition. 3-30 - Gérard Boudol, Ilaria Castellani
, Matthew Hennessy, Astrid Kiehn:
Observing Localities. 31-61 - Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Universal Axioms for Bisimulations. 63-91 - Jörg Desel, Javier Esparza
:
Reachability in Cyclic Extended Free-Choice Systems. 93-118 - Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications. 119-147 - Robin Milner, Joachim Parrow, David Walker:
Modal Logics for Mobile Processes. 149-171 - Walter Vogler:
Bisimulation and Action Refinement. 173-200
Volume 114, Number 2, 1993
- Steven Vickers:
Information Systems for Continuous Posets. 201-229 - Thomas Eiter, Georg Gottlob
:
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. 231-245 - Jules Desharnais, Ali Jaoua
, Fatma Mili, Noureddine Boudriga, Ali Mili:
A Relation Division Operator: The Conjugate Kernel. 247-272 - Daniel J. Dougherty:
Higher-Order Unification via Combinators. 273-298 - Michael Barr:
Terminal Coalgebras in Well-Founded Set Theory. 299-315 - Morten Elvang-Gøransson, Olaf Owe
:
A Simple Sequent Calculus for Partial Functions. 317-330
![](https://dblp.dagstuhl.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.