default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 376
Volume 376, Numbers 1-2, May 2007
- Oscar H. Ibarra:
Developments in language theory. 1-2
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Events and modules in reaction systems. 3-16 - Yuri Gurevich, Margus Veanes, Charles Wallace:
Can abstract state machines be useful in language theory? 17-29 - Dimitry S. Ananichev, Mikhail V. Volkov
, Yu. I. Zaks:
Synchronizing automata with a letter of deficiency 2. 30-41 - Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter:
Equivalence of simple functions. 42-51 - Olivier Carton:
The growth ratio of synchronous rational relations is unique. 52-59 - Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu:
On the existence of prime decompositions. 60-69 - Dalia Krieger:
On critical exponents in fixed points of non-erasing morphisms. 70-88 - Manfred Kufleitner:
Polynomials, fragments of temporal logic and the variety DA over traces. 89-100 - Martin Kutrib, Andreas Malcher:
Context-dependent nondeterminism for pushdown automata. 101-111 - Alexander Okhotin, Oksana Yakimova:
Language equations with complementation: Decision problems. 112-126 - Bala Ravikumar:
On some variations of two-way probabilistic finite automata models. 127-136
Volume 376, Number 3, May 2007
- Maura Cerioli, Tiziana Margaria, Michel Wermelinger:
Foreword. 137-138
- Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
Attributed graph transformation with node type inheritance. 139-163 - Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated compositional proofs for real-time systems. 164-184 - Gruia-Catalin Roman, Christine Julien, Jamie Payton:
Modeling adaptive behaviors in Context UNITY. 185-204 - David A. Naumann:
Observational purity and encapsulation. 205-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
