![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 59
Volume 59, 1988
- Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso:
Narrowing vs. SLD-Resolution. 3-23 - Gérard Boudol, Ilaria Castellani
:
Concurrency and Atomicity. 25-84 - Val Tannen, Thierry Coquand:
Extensional Models for Polymorphism. 85-114 - Michael C. Browne, Edmund M. Clarke, Orna Grumberg:
Characterizing Finite Kripke Structures in Propositional Temporal Logic. 115-131 - Wlodzimierz Drabent
, Jan Maluszynski:
Inductive Assertion Method for Logic Programs. 133-155 - Yves Lafont:
The Linear Abstract Machine. 157-180 - Simona Ronchi Della Rocca:
Principal Type Scheme and Unification for Intersection Type Discipline. 181-209 - Wim H. Hesselink:
Interpretations of Recursion under Unbounded Nondeterminacy. 211-234 - Wim H. Hesselink:
Deadlock and Fairness in Morphisms of Transition Systems. 235-257 - Alan Scottedward Hodel, Michael C. Loui:
Optimal Dynamic Embedding of X-Trees Into Arrays. 259-276 - K. Kalorkoti:
The Trace Invariant and Matrix Inversion. 277-286 - Manfred Schmidt-Schauß:
Implication of Clauses is Undecidable. 287-296 - Wojciech Rytter:
On Efficient Parallel Computations for some Dynamic Programming Problems. 297-307 - Joost Engelfriet, George Leih:
Nonterminal Bounded NLC Graph Grammars. 309-315 - Allen Stoughton:
Substitution Revisited. 317-325
![](https://dblp.org/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.