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=183
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Insertion and deletion closure of languages
Masami Ito
,
Lila Kari
,
Gabriel Thierrin
Theoretical Computer Science
183
(1), 1997, pp. 3-19
Length considerations in context-free languages
Danny Raz
Theoretical Computer Science
183
(1), 1997, pp. 21-32
On computational complexity of contextual languages
Lucian Ilie
Theoretical Computer Science
183
(1), 1997, pp. 33-44
Sturmian words: Structure, combinatorics, and their artihmetics
Aldo de Luca
Theoretical Computer Science
183
(1), 1997, pp. 45-82
A note on decidability questions on presentations of word semigroups
C. Choffrut
,
T. Harju
,
J. Karhumäki
Theoretical Computer Science
183
(1), 1997, pp. 83-92
On syntactic congruences for
\omega
-languages
Oded Maler
,
Ludwig Staiger
Theoretical Computer Science
183
(1), 1997, pp. 93-112
On Lindenmayerian algebraic power series
Juha Honkala
,
Werner Kuich
Theoretical Computer Science
183
(1), 1997, pp. 113-142
On Lindenmayerian algebraic sequences
Juha Honkala
Theoretical Computer Science
183
(1), 1997, pp. 143-154
Order-sorted algebraic specifications with higher-order functions
Anne Elisabeth Haxthausen
Theoretical Computer Science
183
(2), 1997, pp. 157-185
Two-sorted metric temporal logics
Angelo Montanari
,
Maarten de Rijke
Theoretical Computer Science
183
(2), 1997, pp. 187-214
On the decidability of process equivalences for the
\pi
-calculus
Mads Dam
Theoretical Computer Science
183
(2), 1997, pp. 215-228
Petri nets, traces, and local model checking
Allan Cheng
Theoretical Computer Science
183
(2), 1997, pp. 229-251
A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
Pierre Collette
,
Edgar Knapp
Theoretical Computer Science
183
(2), 1997, pp. 253-279
Confluence in concurrent constraint programming
Moreno Falaschi
,
Maurizio Gabbrielli
,
Kim Marriott
,
Catuscia Palamidessi
Theoretical Computer Science
183
(2), 1997, pp. 281-315