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=376
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Events and modules in reaction systems
A. Ehrenfeucht
,
G. Rozenberg
Theoretical Computer Science
376
(1-2), 2007, pp. 3-16
Can abstract state machines be useful in language theory?
Yuri Gurevich
,
Margus Veanes
,
Charles Wallace
Theoretical Computer Science
376
(1-2), 2007, pp. 17-29
Synchronizing automata with a letter of deficiency 2
D.S. Ananichev
,
M.V. Volkov
,
Yu.I. Zaks
Theoretical Computer Science
376
(1-2), 2007, pp. 30-41
Equivalence of simple functions
Cédric Bastien
,
Jurek Czyzowicz
,
Wojciech Fraczak
,
Wojciech Rytter
Theoretical Computer Science
376
(1-2), 2007, pp. 42-51
The growth ratio of synchronous rational relations is unique
Olivier Carton
Theoretical Computer Science
376
(1-2), 2007, pp. 52-59
On the existence of prime decompositions
Yo-Sub Han
,
Arto Salomaa
,
Kai Salomaa
,
Derick Wood
,
Sheng Yu
Theoretical Computer Science
376
(1-2), 2007, pp. 60-69
On critical exponents in fixed points of non-erasing morphisms
Dalia Krieger
Theoretical Computer Science
376
(1-2), 2007, pp. 70-88
Polynomials, fragments of temporal logic and the variety
DA
over traces
Manfred Kufleitner
Theoretical Computer Science
376
(1-2), 2007, pp. 89-100
Context-dependent nondeterminism for pushdown automata
Martin Kutrib
,
Andreas Malcher
Theoretical Computer Science
376
(1-2), 2007, pp. 101-111
Language equations with complementation: Decision problems
Alexander Okhotin
,
Oksana Yakimova
Theoretical Computer Science
376
(1-2), 2007, pp. 112-126
On some variations of two-way probabilistic finite automata models
Bala Ravikumar
Theoretical Computer Science
376
(1-2), 2007, pp. 127-136
Attributed graph transformation with node type inheritance
Juan de Lara
,
Roswitha Bardohl
,
Hartmut Ehrig
,
Karsten Ehrig
,
Ulrike Prange
,
Gabriele Taentzer
Theoretical Computer Science
376
(3), 2007, pp. 139-163
Automated compositional proofs for real-time systems
Carlo A. Furia
,
Matteo Rossi
,
Dino Mandrioli
,
Angelo Morzenti
Theoretical Computer Science
376
(3), 2007, pp. 164-184
Modeling adaptive behaviors in Context UNITY
Gruia-Catalin Roman
,
Christine Julien
,
Jamie Payton
Theoretical Computer Science
376
(3), 2007, pp. 185-204
Observational purity and encapsulation
David A. Naumann
Theoretical Computer Science
376
(3), 2007, pp. 205-224