7. DLT 2003: Szeged, Hungary

@proceedings{DBLP:conf/dlt/2003,
  editor    = {Zolt{\'a}n {\'E}sik and
               Zolt{\'a}n F{\"u}l{\"o}p},
  title     = {Developments in Language Theory, 7th International Conference,
               DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings},
  booktitle = {Developments in Language Theory},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2710},
  year      = {2003},
  isbn      = {3-540-40434-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

• Alberto Bertoni, Carlo Mereghetti, Beatrice Palano:
  Quantum Computing: 1-Way Quantum Automata. 1-20
  Electronic Edition (Springer LINK) BibTeX
• Javier Esparza:
  An Automata-Theoretic Approach to Software Verification. 21
  Electronic Edition (Springer LINK) BibTeX
• Ferenc Gécseg:
  Comments on Complete Sets of Tree Automata. 22-34
  Electronic Edition (Springer LINK) BibTeX
• Antonio Cano Gómez, Jean-Eric Pin:
  On a Conjecture of Schnoebelen. 35-54
  Electronic Edition (Springer LINK) BibTeX
• Friedrich Otto:
  Restarting Automata and Their Relations to the Chomsky Hierarchy. 55-74
  Electronic Edition (Springer LINK) BibTeX
• Wojciech Plandowski:
  Test Sets for Large Families of Languages. 75-94
  Electronic Edition (Springer LINK) BibTeX
• Heribert Vollmer:
  Complexity Theory Made Easy. 95-110
  Electronic Edition (Springer LINK) BibTeX

Contributions

• Dimitry S. Ananichev, Mikhail V. Volkov:
  Synchronizing Monotonic Automata. 111-121
  Electronic Edition (Springer LINK) BibTeX
• Marcella Anselmo, Maria Madonia:
  Covering Problems from a Formal Language Point of View. 122-133
  Electronic Edition (Springer LINK) BibTeX
• Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
  Regular Languages Generated by Reflexive Finite Splicing Systems. 134-145
  Electronic Edition (Springer LINK) BibTeX
• Björn Borchardt:
  The Myhill-Nerode Theorem for Recognizable Tree Series. 146-158
  Electronic Edition (Springer LINK) BibTeX
• Anne Bouillard, Jean Mairesse:
  Generating Series of the Trace Group. 159-170
  Electronic Edition (Springer LINK) BibTeX
• Julien Carme, Rémi Gilleron, Aurélien Lemay, Alain Terlutte, Marc Tommasi:
  Residual Finite Tree Automata. 171-182
  Electronic Edition (Springer LINK) BibTeX
• Pascal Caron, Marianne Flouret:
  From Glushkov WFAs to Rational Expressions. 183-193
  Electronic Edition (Springer LINK) BibTeX
• Jean-Marc Champarnaud, Fabien Coulon:
  NFA Reduction Algorithms by Means of Regular Inequalities. 194-205
  Electronic Edition (Springer LINK) BibTeX
• Stefano Crespi-Reghizzi, Matteo Pradella:
  Tile Rewriting Grammars. 206-217
  Electronic Edition (Springer LINK) BibTeX
• Erzsébet Csuhaj-Varjú, Victor Mitrana, György Vaszil:
  Distributed Pushdown Automata Systems: Computational Power. 218-229
  Electronic Edition (Springer LINK) BibTeX
• Flavio D'Alessandro, Stefano Varricchio:
  On Well Quasi-orders on Languages. 230-241
  Electronic Edition (Springer LINK) BibTeX
• Diego de Falco, Massimiliano Goldwurm, Violetta Lonati:
  Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models. 242-253
  Electronic Edition (Springer LINK) BibTeX
• Michael Domaratzki:
  On Enumeration of Müller Automata. 254-265
  Electronic Edition (Springer LINK) BibTeX
• Frank Drewes, Joost Engelfriet:
  Branching Grammars: A Generalization of ET0L Systems. 266-278
  Electronic Edition (Springer LINK) BibTeX
• Frank Drewes, Johanna Högberg:
  Learning a Regular Tree Language from a Teacher. 279-291
  Electronic Edition (Springer LINK) BibTeX
• Rudolf Freund, Carlos Martín-Vide, Adam Obtulowicz, Gheorghe Paun:
  On Three Classes of Automata-Like P Systems. 292-303
  Electronic Edition (Springer LINK) BibTeX
• Dora Giammarresi:
  Computing Languages by (Bounded) Local Sets. 304-315
  Electronic Edition (Springer LINK) BibTeX
• Tero Harju, Dirk Nowotka:
  About Duval's Conjecture. 316-324
  Electronic Edition (Springer LINK) BibTeX
• Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau:
  Computation with Absolutely No Space Overhead. 325-336
  Electronic Edition (Springer LINK) BibTeX
• Dieter Hofbauer, Johannes Waldmann:
  Deleting String Rewriting Systems Preserve Regularity. 337-348
  Electronic Edition (Springer LINK) BibTeX
• Markus Holzer, Barbara König:
  On Deterministic Finite Automata and Syntactic Monoid Size, Continued. 349-360
  Electronic Edition (Springer LINK) BibTeX
• Markus Holzer, Martin Kutrib:
  Flip-Pushdown Automata: Nondeterminism Is Better than Determinism. 361-372
  Electronic Edition (Springer LINK) BibTeX
• Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur:
  Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton. 373-385
  Electronic Edition (Springer LINK) BibTeX
• Andreas Malcher:
  Minimizing Finite Automata Is Computationally Hard. 386-397
  Electronic Edition (Springer LINK) BibTeX
• Alexander Okhotin:
  Boolean Grammars. 398-410
  Electronic Edition (Springer LINK) BibTeX
• Libor Polák:
  Syntactic Semiring and Universal Automaton. 411-422
  Electronic Edition (Springer LINK) BibTeX
• George Rahonis:
  Alphabetic Pushdown Tree Transducers. 423-436
  Electronic Edition (Springer LINK) BibTeX