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

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-21254-3
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21253-6
  • Online ISBN 978-3-642-21254-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book