default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 93
Volume 93, Number 1, 1991
- Rohit Parikh:
Preface. Inf. Comput. 93(1): iii (1991) - Mitchell Wand:
Type Inference for Record Concatenation and Multiple Inheritance. 1-15 - Michael W. Mislove
, Lawrence S. Moss, Frank J. Oles:
Non-Well-Founded Sets Modeled as Ideal Fixed Points. 16-54 - Eugenio Moggi:
Notions of Computation and Monads. 55-92 - Daniel Leivant:
Finitely Stratified Polymorphism. 93-113 - Yiannis N. Moschovakis:
A Model of Concurrency with Fair Merge and Full Recursion. 114-171 - Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov:
Inheritance as Implicit Coercion. 172-221
Volume 93, Number 2, 1991
- William Aiello, Johan Håstad:
Relativized Perfect Zero Knowledge Is Not BPP. 223-240 - Pierluigi Crescenzi, Alessandro Panconesi:
Completeness in Approximation Classes. 241-262 - Solomon Passay, Tinko Tinchev:
An Essay in Combinatory Dynamic Logic. 263-332 - H. James Hoover:
Real Functions, Contraction Mappings and P-Completeness. 333-349
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-02-09 14:58 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:
