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=101
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The monadic second-order logic of graphs VII: Graphs as relational structures
Bruno Courcelle
Theoretical Computer Science
101
, 1992, pp. 3-33
Capturing complexity classes by fragments of second-order logic
Erich Grädel
Theoretical Computer Science
101
, 1992, pp. 35-57
A linear speed-up theorem for cellular automata
J. Mazoyer
,
N. Reimen
Theoretical Computer Science
101
, 1992, pp. 59-98
A survey of space complexity
Pascal Michel
Theoretical Computer Science
101
, 1992, pp. 99-132
Formulas, regular languages and Boolean circuits
Pierre Péladeau
Theoretical Computer Science
101
, 1992, pp. 133-141
The functional dimension of inductive definitions
Michel de Rougemont
Theoretical Computer Science
101
, 1992, pp. 143-158
Traps characterize home states in free choice systems
Eike Best
,
Jörg Desel
,
Javier Esparza
Theoretical Computer Science
101
, 1992, pp. 161-176
Towards a theory of parallel algorithms on concrete data structures
Stephen Brookes
,
Shai Geva
Theoretical Computer Science
101
, 1992, pp. 177-221
Experimenting with process equivalence
Bard Bloom
,
Albert R. Meyer
Theoretical Computer Science
101
, 1992, pp. 223-237
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
F.S. de Boer
,
J.N. Kok
,
C. Palamidessi
,
J.J.M.M. Rutten
Theoretical Computer Science
101
, 1992, pp. 239-263
Causal automata
Jeremy Gunawardena
Theoretical Computer Science
101
, 1992, pp. 265-288
A compositional axiomatization of Statecharts
J.J.M. Hooman
,
S. Ramesh
,
W.P. de Roever
Theoretical Computer Science
101
, 1992, pp. 289-335
Defining conditional independence using collapses
Shmuel Katz
,
Doron Peled
Theoretical Computer Science
101
, 1992, pp. 337-359