Language and Automata Theory and Applications

5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings

  • Adrian-Horia Dediu
  • Shunsuke Inenaga
  • Carlos Martín-Vide
Conference proceedings LATA 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Bakhadyr Khoussainov
      Pages 22-40
    2. Narad Rampersad
      Pages 65-79
  3. Regular Papers

    1. Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers
      Pages 80-91
    2. Dana Angluin, James Aspnes, Raonne Barbosa Vargas
      Pages 92-104
    3. Marcella Anselmo, Dora Giammarresi, Maria Madonia
      Pages 105-116
    4. Holger Bock Axelsen, Robert Glück
      Pages 117-128
    5. Martin Berglund, Henrik Björklund, Johanna Högberg
      Pages 142-154
    6. Francine Blanchet-Sadri, Kevin Black, Andrew Zemke
      Pages 155-166
    7. Robert Brijder, Hendrik Blockeel
      Pages 167-178
    8. Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
      Pages 179-191
    9. John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
      Pages 192-203
    10. Émilie Charlier, Mike Domaratzki, Tero Harju, Jeffrey Shallit
      Pages 204-215
    11. Krishnendu Chatterjee, Nathanaël Fijalkow
      Pages 216-226
    12. Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
      Pages 227-237
    13. Ehud S. Conley, Shmuel Tomi Klein
      Pages 238-249
    14. Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas
      Pages 250-261
    15. Jürgen Dassow, Florin Manea, Bianca Truthe
      Pages 262-273
    16. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski
      Pages 274-285
    17. Jana Hadravová
      Pages 298-309
    18. Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
      Pages 323-335
    19. Mirosław Kowaluk, Andrzej Lingas, Eva-Marta Lundell
      Pages 336-341
    20. Pavel Labath, Branislav Rovan
      Pages 342-353
    21. Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Sławek Staworko, Marc Tommasi
      Pages 354-365
    22. Alexei Lisitsa, Igor Potapov, Rafiq Saleh
      Pages 366-377
    23. Benedek Nagy, Friedrich Otto
      Pages 390-401
    24. Lasse Nielsen, Fritz Henglein
      Pages 402-413
    25. Alexander Okhotin, Kai Salomaa
      Pages 414-426
    26. Kévin Perrot, Eric Rémila
      Pages 427-439
    27. Alberto Policriti, Alexandru I. Tomescu
      Pages 440-451
    28. Michel Rigo, Élise Vandomme
      Pages 477-488
    29. Arto Salomaa, Kai Salomaa, Sheng Yu
      Pages 489-498
  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory and Applications, LATA 2011, held in Tarragona, Spain in May 2011. The 36 revised full papers presented together with four invited articles were carefully selected from 91 submissions. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.


AI logics Petri nets computational linguistics formal languages grammar systems parsing program semantics rewriting

Editors and affiliations

  • Adrian-Horia Dediu
    • 1
  • Shunsuke Inenaga
    • 2
  • Carlos Martín-Vide
    • 1
  1. 1.Research Group on Mathematical LinguisticsUniversitat Rovira i VirgiliTarragonaSpain
  2. 2.Department of InformaticsKyushu UniversityFukuokaJapan

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment