Developments in Language Theory

13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings

  • Volker Diekert
  • Dirk Nowotka

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5583)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Mikołaj Bojańczyk
      Pages 1-17
    2. Benedikt Bollig, Paul Gastin
      Pages 18-38
    3. Christos A. Kapoutsis
      Pages 47-66
    4. Jorge Almeida, Benjamin Steinberg
      Pages 67-80
  3. Regular Papers

    1. Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
      Pages 91-102
    2. Alberto Bertoni, Christian Choffrut, Roberto Radicioni
      Pages 103-112
    3. Brandon Blakeley, Francine Blanchet-Sadri, Josh Gunter, Narad Rampersad
      Pages 113-124
    4. Janusz Brzozowski, Elyot Grant, Jeffrey Shallit
      Pages 125-144
    5. Michelangelo Bucci, Aldo de Luca, Alessandro De Luca
      Pages 145-155
    6. Simone Campanoni, Stefano Crespi Reghizzi
      Pages 156-169
    7. Olivier Carton
      Pages 170-182
    8. Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
      Pages 183-194
    9. Bruno Durand, Victor Poupet
      Pages 195-206
    10. Szilárd Zsolt Fazekas
      Pages 221-227
    11. Dominik D. Freydenberger, Daniel Reidenbach
      Pages 228-239
    12. Pierluigi Frisco, Oscar H. Ibarra
      Pages 240-251

About these proceedings

Keywords

Alphabet Erfüllbarkeitsproblem der Aussagenlogik Kuratowski Variable automata automata theory boolean satisfiability problem complexity computability formal language formal languages grammars logic petri net regular expressions

Editors and affiliations

  • Volker Diekert
    • 1
  • Dirk Nowotka
    • 1
  1. 1.Institut für Formale Methoden der Informatik, FMIUniversität StuttgartStuttgartGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-02737-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02736-9
  • Online ISBN 978-3-642-02737-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book