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=111
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Turning SOS rules into equations
Luca Aceto
,
Bard Bloom
,
Frits Vaandrager
Information and Computation
111
(1), 1994, May, pp. 1-52
New foundations for the geometry of interaction
Samson Abramsky
,
Radha Jagadeesan
Information and Computation
111
(1), 1994, May, pp. 53-119
The lazy lambda calculus in a concurrency scenario
Davide Sangiorgi
Information and Computation
111
(1), 1994, May, pp. 120-153
Syntacticness, cycle-syntacticness, and shallow theories
Hubert Comon
,
Marianne Haberstrau
,
Jean-Pierre Jouannaud
Information and Computation
111
(1), 1994, May, pp. 154-191
Symbolic model checking for real-time systems
Thomas A. Henzinger
,
Xavier Nicollin
,
Joseph Sifakis
,
Sergio Yovine
Information and Computation
111
(2), 1994, June, pp. 193-244
The type and effect discipline
Jean-Pierre Talpin
,
Pierre Jouvelot
Information and Computation
111
(2), 1994, June, pp. 245-296
Fully abstract semantics for observably sequential languages
Robert Cartwright
,
Pierre-Louis Curien
,
Matthias Felleisen
Information and Computation
111
(2), 1994, June, pp. 297-401