Skip to main content
SpringerLink
Log in

Developments in Language Theory

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

  • Conference proceedings
  • © 2010

Overview

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)

Included in the following conference series:

Conference proceedings info: DLT 2010.

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

  1. Front Matter

    Download chapter 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

    10. Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices

      • Manfred Droste, Heiko Vogler
      Pages 160-172

    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

Keywords

Editors and Affiliations

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

    Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation