5. DLT 2001: Vienna, Austria

Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (Eds.): Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers. Lecture Notes in Computer Science 2295 Springer 2002, ISBN 3-540-43453-4 BibTeX

@proceedings{DBLP:conf/dlt/2001,
  editor    = {Werner Kuich and
               Grzegorz Rozenberg and
               Arto Salomaa},
  title     = {Developments in Language Theory, 5th International Conference,
               DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers},
  booktitle = {Developments in Language Theory},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2295},
  year      = {2002},
  isbn      = {3-540-43453-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

Cristian Calude, Elena Calude:
Automata: From Uncertainty to Quantum. 1-14
Electronic Edition (Springer LINK) BibTeX
Christian Choffrut:
Elementary Theory of Ordinals with Addition and Left Translation by omega. 15-20
Electronic Edition (Springer LINK) BibTeX
Zoltán Ésik:
The Equational Theory of Fixed Points with Applications to Generalized Language Theory. 21-36
Electronic Edition (Springer LINK) BibTeX
Thomas Eiter, Georg Gottlob, Thomas Schwentick:
Second-Order Logic over Strings: Regular and Non-regular Fragments. 37-56
Electronic Edition (Springer LINK) BibTeX
Tero Harju:
Decision Questions on Integer Matrices. 57-68
Electronic Edition (Springer LINK) BibTeX
Masami Ito, Yoshiyuki Kunimoch:
Some Petri Net Languages and Codes. 69-80
Electronic Edition (Springer LINK) BibTeX
Helmut Prodinger:
Words, Permutations, and Representations of Numbers. 81-99
Electronic Edition (Springer LINK) BibTeX
Alexander A. Razborov:
Proof Complexity of Pigeonhole Principles. 100-116
Electronic Edition (Springer LINK) BibTeX
Antonio Restivo, Sergio Salemi:
Words and Patterns. 117-129
Electronic Edition (Springer LINK) BibTeX
Wolfgang Thomas:
A Short Introduction to Infinite Automata. 130-144
Electronic Edition (Springer LINK) BibTeX

Contributions

Thierry Cachat:
The Power of One-Letter Rational Languages. 145-154
Electronic Edition (Springer LINK) BibTeX
Ludwig Staiger:
The Entropy of Lukasiewicz-Languages. 155-165
Electronic Edition (Springer LINK) BibTeX
Dimitry S. Ananichev, Mikhail V. Volkov:
Collapsing Words vs. Synchronizing Words. 166-174
Electronic Edition (Springer LINK) BibTeX
Karel Culik II, Juhani Karhumäki, Jarkko Kari:
A Note on Synchronized Automata and Road Coloring Problem. 175-185
Electronic Edition (Springer LINK) BibTeX
Cezar Câmpeanu, Kai Salomaa, Sándor Vágvölgyi:
Shuffle Quotient and Decompositions. 186-196
Electronic Edition (Springer LINK) BibTeX
Gundula Niemann, Jens R. Woinowski:
The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages. 197-205
Electronic Edition (Springer LINK) BibTeX
Dietrich Kuske:
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable. 206-216
Electronic Edition (Springer LINK) BibTeX
Zoltán Ésik, Zoltán L. Németh:
Automata on Series-Parallel Biposets. 217-227
Electronic Edition (Springer LINK) BibTeX
Joost Engelfriet, Sebastian Maneth:
Hierarchies of String Languages Generated by Deterministic Tree Transducers. 228-238
Electronic Edition (Springer LINK) BibTeX
Thomas Schwentick, Denis Thérien, Heribert Vollmer:
Partially-Ordered Two-Way Automata: A New Characterization of DA. 239-250
Electronic Edition (Springer LINK) BibTeX
Christian Glaßer, Heinz Schmitz:
Level 5/2 of the Straubing-Thérien Hierarchy for Two-Letter Alphabets. 251-261
Electronic Edition (Springer LINK) BibTeX
Juraj Hromkovic, Georg Schnitger:
On the Power of Randomized Pushdown Automata. 262-271
Electronic Edition (Springer LINK) BibTeX
Gerhard Lischke:
The Root of a Language and Its Complexity. 272-280
Electronic Edition (Springer LINK) BibTeX
Henning Fernau, Ralf Stiebe:
Valuated and Valence Grammars: An Algebraic View. 281-292
Electronic Edition (Springer LINK) BibTeX
Hendrik Jan Hoogeboom:
Context-Free Valence Grammars - Revisited. 293-303
Electronic Edition (Springer LINK) BibTeX
Vesa Halava, Tero Harju:
An Undecidability Result Concerning Periodic Morphisms. 304-310
Electronic Edition (Springer LINK) BibTeX
Manfred Kudlek, Yurii Rogozhin:
A Universal Turing Machine with 3 States and 9 Symbols. 311-318
Electronic Edition (Springer LINK) BibTeX
Michael Domaratzki, Jeffrey Shallit, Sheng Yu:
Minimal Covers of Formal Languages. 319-329
Electronic Edition (Springer LINK) BibTeX
Gundula Niemann, Johannes Waldmann:
Some Regular Languages That Are Church-Rosser Congruential. 330-339
Electronic Edition (Springer LINK) BibTeX
Martin Beaudry, Markus Holzer, Gundula Niemann, Friedrich Otto:
On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy. 340-348
Electronic Edition (Springer LINK) BibTeX
Filippo Mignosi, Antonio Restivo, Marinella Sciortino:
Forbidden Factors and Fragment Assembly. 349-358
Electronic Edition (Springer LINK) BibTeX
Erzsébet Csuhaj-Varjú, György Vaszil:
Parallel Communicating Grammar Systems with Incomplete Information Communication. 359-368
Electronic Edition (Springer LINK) BibTeX
Branislav Rovan, Marián Slast'an:
Eliminating Communication by Parallel Rewriting. 369-278
Electronic Edition (Springer LINK) BibTeX
Petr Sosík, Rudolf Freund:
String Rewriting Sequential P-Systems and Regulated Rewriting. 379-388
Electronic Edition (Springer LINK) BibTeX