Skip to main content
SpringerLink
Log in

Developments in Language Theory

5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Werner Kuich

    1. Institut für Algebra und Computermathematik Abt. für Theoretische Informatik, Technische Universität Wien, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grzegorz Rozenberg

    1. Department of Computer Science, Leiden University, RA Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Arto Salomaa

    1. Turku Centre for Computer Science, Turku, Finland

    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 2295)

Included in the following conference series:

Conference proceedings info: DLT 2001.

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 (34 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Invited Presentations

    1. Automata: From Uncertainty to Quantum

      • Calude Cristian S., Elena Calude
      Pages 1-14

    2. Elementary Theory of Ordinals with Addition and Left Translation by ω

      • Christian Choffrut
      Pages 15-20

    3. The Equational Theory of Fixed Points with Applications to Generalized Language Theory

      • Z. Ésik
      Pages 21-36

    4. Second-Order Logic over Strings: Regular and Non-regular Fragments

      • Thomas Eiter, Georg Gottlob, Thomas Schwentick
      Pages 37-56

    5. Decision Questions on Integer Matrices

      • Tero Harju
      Pages 57-68

    6. Some Petri Net Languages and Codes

      • Masami Ito, Yoshiyuki Kunimoch
      Pages 69-80

    7. Words, Permutations, and Representations of Numbers

      • Helmut Prodinger
      Pages 81-99

    8. Proof Complexity of Pigeonhole Principles

      • Alexander A. Razborov
      Pages 100-116

    9. Words and Patterns

      • Antonio Restivo, Sergio Salemi
      Pages 117-129

    10. A Short Introduction to Infinite Automata

      • Wolfgang Thomas
      Pages 130-144

  3. Contributions

    1. The Power of One-Letter Rational Languages

      • Thierry Cachat
      Pages 145-154

    2. The Entropy of Lukasiewicz-Languages

      • Ludwig Staiger
      Pages 155-165

    3. Collapsing Words vs. Synchronizing Words

      • D. S. Ananichev, M. V. Volkov
      Pages 166-174

    4. A Note on Synchronized Automata and Road Coloring Problem

      • Karel Culik II, Juhani Karhumäki, Jarkko Kari
      Pages 175-185

    5. Shuffle Quotient and Decompositions

      • C. Câmpeanu, K. Salomaa, S. Vágvölgyi
      Pages 186-196

    6. The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages

      • Gundula Niemann, Jens R. Woinowski
      Pages 197-205

    7. Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable

      • Dietrich Kuske
      Pages 206-216

    8. Automata on Series-Parallel Biposets

      • Z. Ésik, Z. L. Németh
      Pages 217-227

    9. Hierarchies of String Languages Generated by Deterministic Tree Transducers

      • Joost Engelfriet, Sebastian Maneth
      Pages 228-238
Back to top

Other volumes

  1. Developments in Language Theory

Keywords

Editors and Affiliations

  • Institut für Algebra und Computermathematik Abt. für Theoretische Informatik, Technische Universität Wien, Wien, Austria

    Werner Kuich

  • Department of Computer Science, Leiden University, RA Leiden, The Netherlands

    Grzegorz Rozenberg

  • Turku Centre for Computer Science, Turku, Finland

    Arto Salomaa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation