Advertisement

Language and Automata Theory and Applications

11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

  • Frank Drewes
  • Carlos Martín-Vide
  • Bianca Truthe
Conference proceedings LATA 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10168)

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Talks

  3. Algorithmic Learning and Semantics

    1. Front Matter
      Pages 49-49
    2. Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
      Pages 51-63
    3. Adam Jardine, Kevin McMullin
      Pages 64-76
  4. Automata and Logics

    1. Front Matter
      Pages 89-89
    2. Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas
      Pages 91-102
    3. Lisa Hutschenreiter, Rafael Peñaloza
      Pages 103-114
    4. Ruggero Lanotte, Massimo Merro
      Pages 115-127
  5. Combinatorics on Words, Compression, and Pattern Matching

    1. Front Matter
      Pages 129-129
    2. Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis
      Pages 131-142
    3. Shmuel T. Klein, Dana Shapira
      Pages 143-154
    4. Manasi S. Kulkarni, Kalpana Mahalingam
      Pages 155-167
  6. Complexity

    1. Front Matter
      Pages 169-169
    2. Janusz A. Brzozowski, Corwin Sinnamon
      Pages 171-182
    3. Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
      Pages 183-195
    4. Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
      Pages 196-207
    5. Johannes Schmidt
      Pages 208-219
  7. Finite Automata

    1. Front Matter
      Pages 221-221
    2. Johanna Björklund, Loek Cleophas
      Pages 223-235
  8. Grammars, Languages, and Parsing

    1. Front Matter
      Pages 273-273
    2. Nariyoshi Chida, Kimio Kuramitsu
      Pages 275-286
    3. Flavio D’Alessandro, Oscar H. Ibarra, Ian McQuillan
      Pages 287-298
    4. Mark-Jan Nederhof, Anssi Yli-Jyrä
      Pages 299-310
    5. Jiří Šíma, Petr Savický
      Pages 311-322
  9. Graphs and Petri Nets

    1. Front Matter
      Pages 323-323
    2. Giovanni Casu, G. Michele Pinna
      Pages 325-337
    3. Dušan Knop
      Pages 338-350
    4. Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil
      Pages 351-363
  10. Non-classical Automata

    1. Front Matter
      Pages 365-365
    2. Davide Bresolin, Ivan Lanese
      Pages 367-379
    3. Bernd Gärtner, Ahad N. Zehmakan
      Pages 393-404
    4. Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryılmaz
      Pages 405-417
  11. Pushdown Automata and Systems

    1. Front Matter
      Pages 419-419
    2. Dick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers
      Pages 421-434
    3. Adrien Pommellet, Marcio Diaz, Tayssir Touili
      Pages 447-459
  12. Back Matter
    Pages 461-462

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017.

The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.

Keywords

algorithmic learning cellular automata computational complexity cyber-physical system semantics automata computer science logic concurrency context-free languages finite automata formal languages and automata theory grammars indexed languages languages parametrized complexity petri nets regular expressions theory of computation transducers weighted automata

Editors and affiliations

  • Frank Drewes
    • 1
  • Carlos Martín-Vide
    • 2
  • Bianca Truthe
    • 3
  1. 1.Umeå UniversityUmeåSweden
  2. 2.Rovira i Virgili UniversityTarragonaSpain
  3. 3.University of GiessenGiessenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-53733-7
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-53732-0
  • Online ISBN 978-3-319-53733-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site