Language and Automata Theory and Applications

6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

  • Adrian-Horia Dediu
  • Carlos Martín-Vide
Conference proceedings LATA 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
      Pages 58-69
    2. Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michael Rusinowitch
      Pages 70-82
    3. Mikhail Barash, Alexander Okhotin
      Pages 106-118
    4. Philip Bille, Inge Li Gørtz, Jesper Kristensen
      Pages 119-130
    5. Philip Bille, Morten Stöckel
      Pages 131-142
    6. Beate Bollig, Tobias Pröger
      Pages 143-154
    7. Julien Cervelle
      Pages 169-178
    8. Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot
      Pages 179-191
    9. Gabriel Ciobanu, G. Michele Pinna
      Pages 192-203
    10. Alberto Dennunzio, Enrico Formenti, Julien Provillard
      Pages 204-215
    11. Danny Dubé, Mario Latendresse, Pascal Tesson
      Pages 216-227
    12. Michal Forišek, Lucia Keller, Monika Steinová
      Pages 228-239
    13. Travis Gagie, Paweł Gawrychowski, Juha Kärkkäinen, Yakov Nekrich, Simon J. Puglisi
      Pages 240-251
    14. Ziyuan Gao, Frank Stephan
      Pages 252-263
    15. Viliam Geffert, Bruno Guillon, Giovanni Pighizzini
      Pages 264-276
    16. Michael Geilke, Sandra Zilles
      Pages 277-288
    17. Stefan Hetzl
      Pages 301-312
    18. Norbert Hundeshagen, Friedrich Otto
      Pages 325-336
    19. Ahmet Kara, Thomas Schwentick, Tony Tan
      Pages 351-362
    20. Miroslav Klimoš, Kim G. Larsen, Filip Štefaňák, Jeppe Thaarup
      Pages 363-376
    21. Alexander Krassovitskiy, Peter Leupold
      Pages 377-388
    22. Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer
      Pages 389-400
    23. Tang Van Nguyen, Hitoshi Ohsaki
      Pages 408-419
    24. Đurica Nikolić, Fausto Spoto
      Pages 420-432
    25. Mathilde Noual
      Pages 433-444
    26. Mateus de Oliveira Oliveira
      Pages 445-457
    27. Max Rabkin
      Pages 458-467
    28. Daniel Reidenbach, Markus L. Schmid
      Pages 468-479
    29. Eric Rowland, Jeffrey Shallit
      Pages 490-501
  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. 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.


dynamical systems formal languages model checking numerical constraints regular expressions

Editors and affiliations

  • Adrian-Horia Dediu
    • 1
  • Carlos Martín-Vide
    • 1
  1. 1.Research Group on Mathematical LinguisticsUniversitat Rovira i VirgiliTarragonaSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28331-4
  • Online ISBN 978-3-642-28332-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site