default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
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.
last updated on 2024-11-04 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
