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=Theor.~Comput.~Sci. AND Volume=49
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Brzozowski hierarchy of
\omega
-languages
M. Takahashi
Theoretical Computer Science
49
(1), 1987, pp. 1-12
Units of special Church-Rosser monoids
C.C. Squier
Theoretical Computer Science
49
(1), 1987, pp. 13-22
Grammars, derivation modes and properties of indexed and type-0 languages
R. Parchmann
,
J. Duske
Theoretical Computer Science
49
(1), 1987, pp. 23-42
The Church-Rosser property for ground term-rewriting systems is decidable
M. Oyamaguchi
Theoretical Computer Science
49
(1), 1987, pp. 43-79
Solving related two- and three-dimensional linear programming problems in logarithmic time
Leo J. Guibas
,
Jorge Stolfi
,
Kenneth L. Clarkson
Theoretical Computer Science
49
(1), 1987, pp. 81-84
Infinite streams and finite observations in the semantics of uniform concurrency
J.W. de Bakker
,
J.-J.C. Meyer
,
E.-R. Olderog
Theoretical Computer Science
49
(2-3), 1987, pp. 87-112
Applications of an infinite square-free co-CFL
M.G. Main
,
W. Bucher
,
D. Haussler
Theoretical Computer Science
49
(2-3), 1987, pp. 113-119
An algebraic theory of fair asynchronous communicating processes
M. Hennessy
Theoretical Computer Science
49
(2-3), 1987, pp. 121-143
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
L. Bougé
Theoretical Computer Science
49
(2-3), 1987, pp. 145-169
Distributed algorithms in synchronous broadcasting networks
Z. Galil
,
G.M. Landau
,
M.M. Yung
Theoretical Computer Science
49
(2-3), 1987, pp. 171-184
A context dependent equivalence between processes
K.G. Larsen
Theoretical Computer Science
49
(2-3), 1987, pp. 185-215
The complementation problem for Buchi automata with applications to temporal logic
A. Prasad Sistla
,
M.Y. Vardi
,
P. Wolper
Theoretical Computer Science
49
(2-3), 1987, pp. 217-237
Partitioning point sets in arbitrary dimension
R. Cole
Theoretical Computer Science
49
(2-3), 1987, pp. 239-265
A probabilistic distributed algorithm for set intersection and its analysis
T.G. Kurtz
,
U. Manber
Theoretical Computer Science
49
(2-3), 1987, pp. 267-282
Analytic models and ambiguity of context-free languages
P. Flajolet
Theoretical Computer Science
49
(2-3), 1987, pp. 283-309
Modal logics for communicating systems
C. Stirling
Theoretical Computer Science
49
(2-3), 1987, pp. 311-347