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=178
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
From regular expressions to DFA's using compressed NFA's
Chia-Hsiang Chang
,
Robert Paige
Theoretical Computer Science
178
(1-2), 1997, pp. 1-36
Nondeterministic stack register machines
P. Clote
Theoretical Computer Science
178
(1-2), 1997, pp. 37-76
The ``magic'' rule spaces of neural-like elementary cellular automata
G. Cattaneo
,
C. Quaranta Vogliotti
Theoretical Computer Science
178
(1-2), 1997, pp. 77-102
Permutations generated by token passing in graphs
M.D. Atkinson
,
M.J. Livesey
,
D. Tulley
Theoretical Computer Science
178
(1-2), 1997, pp. 103-118
Using duplication for scheduling unitary tasks on
m
processors with unit communication delays
A. Munier
,
C. Hanen
Theoretical Computer Science
178
(1-2), 1997, pp. 119-127
Matching a set of strings with variable length don't cares
Gregory Kucherov
,
Michaƫl Rusinowitch
Theoretical Computer Science
178
(1-2), 1997, pp. 129-154
Normal numbers and sources for BPP
Martin Strauss
Theoretical Computer Science
178
(1-2), 1997, pp. 155-169
Sturmian words, Lyndon words and trees
Jean Berstel
,
Aldo de Luca
Theoretical Computer Science
178
(1-2), 1997, pp. 171-203
Standard Sturmian morphisms
Aldo de Luca
Theoretical Computer Science
178
(1-2), 1997, pp. 205-224
An optimal parallel algorithm for digital curve segmentation
Peter Damaschke
Theoretical Computer Science
178
(1-2), 1997, pp. 225-236
An improved algorithm for the evaluation of fixpoint expressions
A. Browne
,
E.M. Clarke
,
S. Jha
,
D.E. Long
,
W. Marrero
Theoretical Computer Science
178
(1-2), 1997, pp. 237-255
A proof of Simon's theorem on piecewise testable languages
Peter M. Higgins
Theoretical Computer Science
178
(1-2), 1997, pp. 257-264
An approximation scheme for scheduling independent jobs into subcubes of a hypercube of fixed dimension
Y. Kopidakis
,
V. Zissimopoulos
Theoretical Computer Science
178
(1-2), 1997, pp. 265-273
Recognizable picture languages and domino tiling
Michel Latteux
,
David Simplot
Theoretical Computer Science
178
(1-2), 1997, pp. 275-283