![](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
Information and Computation, Volume 127
Volume 127, Number 1, 25 May 1996
- Vladimir V. V'yugin:
Bayesianism: An Algorithmic Analysis. 1-10 - Pietro Di Gianantonio
:
Real Number Computability and Domain Theory. 11-25 - Luca Aceto, Rob J. van Glabbeek, Wan J. Fokkink
, Anna Ingólfsdóttir:
Axiomatizing Prefix Iteration with Silent Steps. 26-40 - Walter Vogler:
The Limit of Splitn-Language Equivalence. 41-61
Volume 127, Number 2, 15 June 1996
- Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis (1953-1995). 65 - Andrew M. Pitts:
Relational Properties of Domains. 66-90 - Parosh Aziz Abdulla, Bengt Jonsson:
Verifying Programs with Unreliable Channels. 91-101 - John C. Mitchell, Ramesh Viswanathan:
Standard ML-NJ Weak Polymorphism and Imperative Constructs. 102-116 - Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson:
Database Query Languages Embedded in the Typed Lambda Calculus. 117-144 - Stephen D. Brookes:
Full Abstraction for a Shared-Variable Parallel Language. 145-163 - André Joyal, Mogens Nielsen, Glynn Winskel:
Bisimulation from Open Maps. 164-185 - Marcelo P. Fiore:
A Coinduction Principle for Recursive Data Types Based on Bisimulation. 186-198
![](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.