Skip to main content
SpringerLink
Log in

Developments in Language Theory

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Volker Diekert

    1. Institut für Formale Methoden der Informatik, FMI, Universität Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dirk Nowotka

    1. Institut für Formale Methoden der Informatik, FMI, Universität Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: DLT 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (40 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Factorization Forests

      • Mikołaj Bojańczyk
      Pages 1-17

    2. Weighted versus Probabilistic Logics

      • Benedikt Bollig, Paul Gastin
      Pages 18-38

    3. Post Correspondence Problem and Small Dimensional Matrices

      • Tero Harju
      Pages 39-46

    4. Size Complexity of Two-Way Finite Automata

      • Christos A. Kapoutsis
      Pages 47-66

    5. Matrix Mortality and the Černý-Pin Conjecture

      • Jorge Almeida, Benjamin Steinberg
      Pages 67-80

  3. Regular Papers

    1. A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata

      • Marie-Pierre Béal, Dominique Perrin
      Pages 81-90

    2. Regular Languages Definable by Majority Quantifiers with Two Variables

      • Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
      Pages 91-102

    3. The Inclusion Problem of Context-Free Languages: Some Tractable Cases

      • Alberto Bertoni, Christian Choffrut, Roberto Radicioni
      Pages 103-112

    4. On the Complexity of Deciding Avoidability of Sets of Partial Words

      • Brandon Blakeley, Francine Blanchet-Sadri, Josh Gunter, Narad Rampersad
      Pages 113-124

    5. Closures in Formal Languages and Kuratowski’s Theorem

      • Janusz Brzozowski, Elyot Grant, Jeffrey Shallit
      Pages 125-144

    6. Rich and Periodic-Like Words

      • Michelangelo Bucci, Aldo de Luca, Alessandro De Luca
      Pages 145-155

    7. Traces of Control-Flow Graphs

      • Simone Campanoni, Stefano Crespi Reghizzi
      Pages 156-169

    8. Left and Right Synchronous Relations

      • Olivier Carton
      Pages 170-182

    9. An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words

      • Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
      Pages 183-194

    10. Asymptotic Cellular Complexity

      • Bruno Durand, Victor Poupet
      Pages 195-206

    11. Strongly Regular Grammars and Regular Approximation of Context-Free Languages

      • Ömer Eğecioğlu
      Pages 207-220

    12. Powers of Regular Languages

      • Szilárd Zsolt Fazekas
      Pages 221-227

    13. Existence and Nonexistence of Descriptive Patterns

      • Dominik D. Freydenberger, Daniel Reidenbach
      Pages 228-239

    14. On Stateless Multihead Finite Automata and Multihead Pushdown Automata

      • Pierluigi Frisco, Oscar H. Ibarra
      Pages 240-251
Back to top

Other volumes

  1. Developments in Language Theory

Keywords

Editors and Affiliations

  • Institut für Formale Methoden der Informatik, FMI, Universität Stuttgart, Stuttgart, Germany

    Volker Diekert, Dirk Nowotka

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation