Advertisement

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
    13. Christiane Frougny, Anna Chiara Lai
      Pages 252-263
    14. Amy Glen, Bjarni V. Halldórsson, Sergey Kitaev
      Pages 264-275
    15. Hermann Gruber, Markus Holzer
      Pages 276-287
    16. Emmanuel Jeandel, Guillaume Theyssier
      Pages 288-299
    17. Galina Jirásková
      Pages 300-311
    18. Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
      Pages 334-347
    19. Markku Laine, Wojciech Plandowski
      Pages 348-359
    20. Tommi Lehtinen, Alexander Okhotin
      Pages 360-371
    21. Florin Manea, Victor Mitrana, Jose M. Sempere
      Pages 372-383
    22. Ingmar Meinecke
      Pages 384-395
    23. Fabio Mogavero, Aniello Murano
      Pages 396-409
    24. Holger Petersen
      Pages 410-418
    25. Karin Quaas
      Pages 419-430
    26. Antonio Restivo, Giovanna Rosone
      Pages 431-442
    27. Oleg V. Kudinov, Victor L. Selivanov
      Pages 454-465
  4. Back Matter

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
  • Buy this book on publisher's site