Skip to main content
  • Conference proceedings
  • © 2010

Language and Automata Theory and Applications

4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings

  • Up to date results
  • Fast conference proceedings
  • State-of-the-art report

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

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

Conference series link(s): LATA: International Conference on Language and Automata Theory and Applications

Conference proceedings info: LATA 2010.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (51 papers)

  1. Regular Papers

    1. On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT

      • William Cruz-Santos, Guillermo Morales-Luna
      Pages 239-248
    2. Parametric Metric Interval Temporal Logic

      • Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli
      Pages 249-260
    3. Grammar-Based Compression in a Streaming Model

      • Travis Gagie, Paweł Gawrychowski
      Pages 273-284
    4. Simplifying Regular Expressions

      • Hermann Gruber, Stefan Gulan
      Pages 285-296
    5. Learnability of Automatic Classes

      • Sanjay Jain, Qinglong Luo, Frank Stephan
      Pages 321-332
    6. Untestable Properties Expressible with Four First-Order Quantifiers

      • Charles Jordan, Thomas Zeugmann
      Pages 333-343
    7. The Copying Power of Well-Nested Multiple Context-Free Grammars

      • Makoto Kanazawa, Sylvain Salvati
      Pages 344-355
    8. Post Correspondence Problem with Partially Commutative Alphabets

      • Barbara Klunder, Wojciech Rytter
      Pages 356-367
    9. Reversible Pushdown Automata

      • Martin Kutrib, Andreas Malcher
      Pages 368-379
    10. String Extension Learning Using Lattices

      • Anna Kasprzik, Timo Kötzing
      Pages 380-391
    11. The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape

      • Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian
      Pages 392-402
    12. Hard Counting Problems for Partial Words

      • Florin Manea, Cătălin Tiseanu
      Pages 426-438
    13. SA-REPC – Sequence Alignment with Regular Expression Path Constraint

      • Nimrod Milo, Tamar Pinhas, Michal Ziv-Ukelson
      Pages 451-462

Other Volumes

  1. Language and Automata Theory and Applications

Editors and Affiliations

  • Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, Spain

    Adrian-Horia Dediu, Carlos Martín-Vide

  • Fachbereich IV - Informatik, Universität Trier, Trier, Germany

    Henning Fernau

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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