Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=93
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Type inference for record concatenation and multiple inheritance
Mitchell Wand
Information and Computation
93
(1), 1991, July, pp. 1-15
Non-well-founded sets modeled as ideal fixed points
Michael W. Mislove
,
Lawrence S. Moss
,
Frank J. Oles
Information and Computation
93
(1), 1991, July, pp. 16-54
Notions of computation and monads
Eugenio Moggi
Information and Computation
93
(1), 1991, July, pp. 55-92
Finitely stratified polymorphism
Daniel Leivant
Information and Computation
93
(1), 1991, July, pp. 93-113
A model of concurrency with fair merge and full recursion
Yiannis N. Moschovakis
Information and Computation
93
(1), 1991, July, pp. 114-171
Inheritance as implicit coercion
Val Breazu-Tannen
,
Thierry Coquand
,
Carl A. Gunter
,
Andre Scedrov
Information and Computation
93
(1), 1991, July, pp. 172-221
Relativized perfect zero knowledge is not BPP
William Aiello
,
Johan HÃ¥stad
Information and Computation
93
(2), 1991, August, pp. 223-240
Completeness in approximation classes
Pierluigi Crescenzi
,
Alessandro Panconesi
Information and Computation
93
(2), 1991, August, pp. 241-262
An essay in combinatory dynamic logic
Solomon Passy
,
Tinko Tinchev
Information and Computation
93
(2), 1991, August, pp. 263-332
Real functions, contraction mappings, and
\P
-completeness
H. James Hoover
Information and Computation
93
(2), 1991, August, pp. 333-349