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

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