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=186
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A definition of surfaces of
Z^3
- A new 3D discrete Jordan theorem
Rémy Malgouyres
Theoretical Computer Science
186
(1-2), 1997, pp. 1-41
Parallel high-level replacement systems
Gabriele Taentzer
Theoretical Computer Science
186
(1-2), 1997, pp. 43-81
Solving systems of explicit language relations
Ernst L. Leiss
Theoretical Computer Science
186
(1-2), 1997, pp. 83-105
The synthesis problem for elementary net systems is
NP
-complete
Eric Badouel
,
Luca Bernardinello
,
Philippe Darondeau
Theoretical Computer Science
186
(1-2), 1997, pp. 107-134
On projective and separable properties
Doron Peled
Theoretical Computer Science
186
(1-2), 1997, pp. 135-156
A hierarchy of eNCE families of graph languages
Changwook Kim
Theoretical Computer Science
186
(1-2), 1997, pp. 157-169
On devising Boolean routing schemes
Michele Flammini
,
Giorgio Gambosi
Theoretical Computer Science
186
(1-2), 1997, pp. 171-198
The local detection paradigm and its applications to self-stabilization
Yehuda Afek
,
Shay Kutten
,
Moti Yung
Theoretical Computer Science
186
(1-2), 1997, pp. 199-229
On the equivalence problem for E-pattern languages
Enno Ohlebusch
,
Esko Ukkonen
Theoretical Computer Science
186
(1-2), 1997, pp. 231-248