default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 99
Volume 99, Number 1, 1992
- Andrea Asperti
, Simone Martini:
Categorical Models of Polymorphism. 1-79 - Kim Guldstrand Larsen, Robin Milner:
A Compositional Protocol Verification Using Relativized Bisimulation. 80-108 - J. M. Robson:
Deterministic Simulation of a Single Tape Turing Machine by a Random Access Machine in Sub-linear Time. 109-121
Volume 99, Number 2, 1992
- M. V. H. Fairtlough, Stanley S. Wainer:
Ordinal Complexity of Recursive Definitions. 123-153 - Gerard R. Renardel de Lavalette:
Strictness Analysis via Abstract Interpretation for Recursively Defined Types. 154-177 - Philippe Darondeau, Serge Yoccoz:
Proof Systems for Infinite Behaviours. 178-191 - Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine:
A Denotational Theory of Synchronous Reactive Systems. 192-230 - Christian-Emil Ore:
The Extended Calculus of Constructions (ECC) with Inductive Types. 231-264
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 2025-07-07 21:18 CEST 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:
