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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-28332-1
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28331-4
  • Online ISBN 978-3-642-28332-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book