![](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
Theoretical Computer Science, Volume 151
Volume 151, Number 1, 13 November 1995
- Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
Duality and the Completeness of the Modal mu-Calculus. 3-27 - André Arnold:
A Topological Property of Rational omega-Languages. 29-36 - Frank S. de Boer, Alessandra Di Pierro
, Catuscia Palamidessi
:
Nondeterminism and Infinite Computations in Constraint Programming. 37-78 - Marcello M. Bonsangue
, Bart Jacobs, Joost N. Kok:
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. 79-124 - Bruno Courcelle:
The Monadic Second-Order Logic of Graphs IX: Machines and their Behaviours. 125-162 - Abbas Edalat:
Domain Theory and Integration. 163-193 - S. G. Matthews:
An Extensional Treatment of Lazy Data Flow Deadlock. 195-205 - Michael W. Mislove
, Frank J. Oles:
Full Abstraction and Recursion. 207-256 - Michael B. Smyth:
Semi-Metrics, Closure Spaces and Digital Topology. 257-276 - Philipp Sünderhauf:
A Faithful Computational Model of the Real Numbers. 277-294
Volume 151, Number 2, 27 November 1995
- Giuseppe Castagna:
A Meta-Language for Typed Object-Oriented Languages. 297-352 - Hassan Aït-Kaci, Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence. 353-383 - Steffen van Bakel
:
Intersection Type Assignment Systems. 385-435 - Kohei Honda, Nobuko Yoshida
:
On Reduction-Based Process Semantics. 437-486 - M. R. K. Krishna Rao:
Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. 487-512
![](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.