Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2010

Developments in Language Theory

14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings

Editors:

  1. Yuan Gao

    1. Dept. of Computer Science, University of Western Ontario, London, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hanlin Lu

    1. Dept. of Computer Science, University of Western Ontario, London, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Shinnosuke Seki

    1. Dept. of Computer Science, University of Western Ontario, London, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Sheng Yu

    1. Dept. of Computer Science, University of Western Ontario, London, Canada

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

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

Conference series link(s): DLT: International Conference on Developments in Language Theory

Conference proceedings info: DLT 2010.

Sections

Buy it now

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

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

Table of contents (44 papers)

  1. Front Matter

    PDF

  3. Regular Papers

    1. Algorithmic Properties of Millstream Systems

      • Suna Bensch, Henrik Björklund, Frank Drewes
      Pages 54-65

    2. On a Conjecture by Carpi and D’Alessandro

      • Mikhail V. Berlinkov
      Pages 66-75

    3. Linking Algebraic Observational Equivalence and Bisimulation

      • Mouhebeddine Berrima, Narjes Ben Rajeb
      Pages 76-87

    4. Undecidability and Hierarchy Results for Parallel Communicating Finite Automata

      • Henning Bordihn, Martin Kutrib, Andreas Malcher
      Pages 88-99

    5. Inclusion Problems for Patterns with a Bounded Number of Variables

      • Joachim Bremer, Dominik D. Freydenberger
      Pages 100-111

    6. On the Average Number of States of Partial Derivative Automata

      • Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
      Pages 112-123

    7. On the Hybrid Černý-Road Coloring Problem and Hamiltonian Paths

      • Arturo Carpi, Flavio D’Alessandro
      Pages 124-135

    8. Computing Blocker Sets for the Regular Post Embedding Problem

      • Pierre Chambart, Philippe Schnoebelen
      Pages 136-147

    9. Rankers over Infinite Words

      • Luc Dartois, Manfred Kufleitner, Alexander Lauser
      Pages 148-159

    11. On Müller Context-Free Grammars

      • Zoltán Ésik, Szabolcs Iván
      Pages 173-184

    12. Minimization of Deterministic Bottom-Up Tree Transducers

      • Sylvia Friese, Helmut Seidl, Sebastian Maneth
      Pages 185-196

    13. Two-Way Unary Automata versus Logarithmic Space

      • Viliam Geffert, Giovanni Pighizzini
      Pages 197-208
Back to top

Other Volumes

  1. Developments in Language Theory

Back to top

Keywords

Back to top

Editors and Affiliations

  • Dept. of Computer Science, University of Western Ontario, London, Canada

    Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation