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=99
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Categorical models of polymorphism
Andrea Asperti
,
Simone Martini
Information and Computation
99
(1), 1992, July, pp. 1-79
A compositional protocol verification using relativized bisimulation
Kim G. Larsen
,
Robin Milner
Information and Computation
99
(1), 1992, July, pp. 80-108
Deterministic simulation of a single tape Turing machine by a random access machine in sub-linear time
J.M. Robson
Information and Computation
99
(1), 1992, July, pp. 109-121
Ordinal complexity of recursive definitions
M.V.H. Fairtlough
,
S.S. Wainer
Information and Computation
99
(2), 1992, August, pp. 123-153
Strictness analysis via abstract interpretation for recursively defined types
Gerard R. Renardel de Lavalette
Information and Computation
99
(2), 1992, August, pp. 154-177
Proof systems for infinite Behaviours
Philippe Darondeau
,
Serge Yoccoz
Information and Computation
99
(2), 1992, August, pp. 178-191
A denotational theory of synchronous reactive systems
Albert Benveniste
,
Paul le Guernic
,
Yves Sorel
,
Michel Sorine
Information and Computation
99
(2), 1992, August, pp. 192-230
The extended calculus of constructions (ECC) with inductive types
Christian-Emil Ore
Information and Computation
99
(2), 1992, August, pp. 231-264