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=76
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Optimal parallel randomized algorithms for sparse addition and identification
Paul G. Spirakis
Information and Computation
76
(1), 1988, pp. 1-12
Limits on the power of concurrent-write parallel machines
Paul Beame
Information and Computation
76
(1), 1988, pp. 13-28
Strictness analysis and denotational abstract interpretation
Flemming Nielson
Information and Computation
76
(1), 1988, pp. 29-92
The calculus of constructions
Thierry Coquand
,
GĂ©rard Huet
Information and Computation
76
(2/3), 1988, pp. 95-120
The equational theory of parametrized specifications
Peter Padawitz
Information and Computation
76
(2/3), 1988, pp. 121-137
A semantics of multiple inheritance
Luca Cardelli
Information and Computation
76
(2/3), 1988, pp. 138-164
Specifications in an arbitrary institution
Donald Sannella
,
Andrzej Tarlecki
Information and Computation
76
(2/3), 1988, pp. 165-210
Polymorphic type inference and containment
John C. Mitchell
Information and Computation
76
(2/3), 1988, pp. 211-249
Partial morphisms in categories of effective objects
Eugenio Moggi
Information and Computation
76
(2/3), 1988, pp. 250-277
Pebble, a kernel language for modules and abstract data types
B. Lampson
,
R. Burstall
Information and Computation
76
(2/3), 1988, pp. 278-346