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=72
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Universal profinite domains
C.A. Gunter
Information and Computation
72
(1), 1987, pp. 1-30
A unifying theorem for algebraic semantics and dynamic logics
H. Andréka
,
I. Guessarian
,
I. Németi
Information and Computation
72
(1), 1987, pp. 31-45
A refinement of strong sequentiality for term rewriting with constructors
S. Thatte
Information and Computation
72
(1), 1987, pp. 46-65
Preservation of expressive completeness in temporal models
A. Amir
,
D.M. Gabbay
Information and Computation
72
(1), 1987, pp. 66-83
Type theories, normal forms, and
D_{\infty}
-lambda-models
M. Coppo
,
M. Dezani-Ciancaglini
,
M. Zacchi
Information and Computation
72
(2), 1987, pp. 85-116
Computing short generator sequences
J.R. Driscoll
,
M.L. Furst
Information and Computation
72
(2), 1987, pp. 117-132
A generalized Grzegorczyk hierarchy and low complexity classes
M. Kutyƚowski
Information and Computation
72
(2), 1987, pp. 133-149
Optimal computation of finitely oriented convex hulls
G.J.E. Rawlins
,
D. Wood
Information and Computation
72
(2), 1987, pp. 150-166
Reductions among number theoretic problems
H. Woll
Information and Computation
72
(3), 1987, pp. 167-179
A new look at fault-tolerant network routing
D. Dolev
,
J.Y. Halpern
,
B. Simons
,
H.R. Strong
Information and Computation
72
(3), 1987, pp. 180-196
Petri nets, algebras, morphisms, and compositionality
G. Winskel
Information and Computation
72
(3), 1987, pp. 197-238
Qualitative robustness in time series
P. Papantoni-Kazakos
Information and Computation
72
(3), 1987, pp. 239-269
Area-time optimal division for
T=\Omega((\log n)^{1+\epsilon})
K. Mehlhorn
,
F.P. Preparata
Information and Computation
72
(3), 1987, pp. 270-282