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=81
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A simplified proof of
DDL<DL
Jerzy Tiuryn
Information and Computation
81
(1), 1989, pp. 1-12
Reasoning about networks with many identical finite state processes
M.C. Browne
,
E.M. Clarke
,
O. Grumberg
Information and Computation
81
(1), 1989, pp. 13-31
Optimal parallel algorithms for dynamic expression evaluation and context-free recognition
Alan Gibbons
,
Wojciech Rytter
Information and Computation
81
(1), 1989, pp. 32-45
The use and usefulness of numeration systems
Aviezri S. Fraenkel
Information and Computation
81
(1), 1989, pp. 46-61
Distinguishing conjunctive and disjunctive reducibilities by sparse sets
Ker-I Ko
Information and Computation
81
(1), 1989, pp. 62-87
Linear graph grammars: Power and complexity
Joost Engelfriet
,
George Leh
Information and Computation
81
(1), 1989, pp. 88-121
Domain theoretic models of polymorphism
Thierry Coquand
,
Carl Gunter
,
Glynn Winskel
Information and Computation
81
(2), 1989, pp. 123-167
A logic of recursion
V. Michele Abrusci
,
Gianfranco Mascari
Information and Computation
81
(2), 1989, pp. 168-226
A complete axiomatization for observational congruence of finite-state behaviours
Robin Milner
Information and Computation
81
(2), 1989, pp. 227-247
An automata theoretic decision procedure for the propositional Mu-calculus
Robert S. Streett
,
E. Allen Emerson
Information and Computation
81
(3), 1989, pp. 249-264
Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
G. Sénizergues
Information and Computation
81
(3), 1989, pp. 265-279
An arithmetical hierarchy in propositional dynamic logic
Sorin Istrail
Information and Computation
81
(3), 1989, pp. 280-289
Convex powerdomains II
Karel Hrbacek
Information and Computation
81
(3), 1989, pp. 290-317
Parallel graph algorithms that are efficient on average
Don Coppersmith
,
Prabhakar Raghavan
,
Martin Tompa
Information and Computation
81
(3), 1989, pp. 318-333
Faster optimal parallel prefix sums and list ranking
Richard Cole
,
Uzi Vishkin
Information and Computation
81
(3), 1989, pp. 334-352
Linear-time simulation of multihead Turing machines
W. Schnitzlein
,
H.-J. Stoss
Information and Computation
81
(3), 1989, pp. 353-363
Parallel processing can be harmful: The unusual behavior of interpolation search
Dan E. Willard
,
John H. Reif
Information and Computation
81
(3), 1989, pp. 364-379