Advertisement

Language and Automata Theory and Applications

13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

  • Carlos Martín-Vide
  • Alexander Okhotin
  • Dana Shapira

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Edward A. Lee
      Pages 31-42
    3. Vadim Lozin
      Pages 43-54
  3. Automata

    1. Front Matter
      Pages 55-55
    2. M. Anabtawi, S. Hassan, C. Kapoutsis, M. Zakzok
      Pages 57-69
    3. Tim Becker, Klaus Sutner
      Pages 70-81
    4. Alex Bishop, Murray Elder
      Pages 82-94
    5. Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
      Pages 95-107
    6. Ondřej Klíma, Libor Polák
      Pages 108-120
    7. Klaus Meer, Ameen Naif
      Pages 121-133
    8. Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
      Pages 159-173
  4. Complexity

    1. Front Matter
      Pages 175-175
    2. Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery
      Pages 177-189
    3. Lila Kari, Timothy Ng
      Pages 203-214
    4. Stephen Fenner, Daniel Padé
      Pages 215-230
  5. Grammars

    1. Front Matter
      Pages 231-231
    2. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 246-258
    3. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
      Pages 259-271
  6. Languages

    1. Front Matter
      Pages 273-273
    2. Marcella Anselmo, Maria Madonia, Carla Selmi
      Pages 288-301
    3. Jean-Philippe Dubernard, Giovanna Guaiana, Ludovic Mignot
      Pages 302-314
    4. Galina Jirásková, Ondřej Klíma
      Pages 315-327
    5. Alexis Linard, Colin de la Higuera, Frits Vaandrager
      Pages 328-339
  7. Graphs, Trees and Rewriting

    1. Front Matter
      Pages 341-341
    2. Iovka Boneva, Joachim Niehren, Momar Sakho
      Pages 343-355
    3. Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
      Pages 356-367
    4. Paweł Parys
      Pages 368-380
  8. Words and Codes

    1. Front Matter
      Pages 395-395
    2. Émilie Charlier, Svetlana Puzynina, Élise Vandomme
      Pages 397-408
    3. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszyński, Tomasz Waleń, Wiktor Zuba
      Pages 421-433
    4. Kalpana Mahalingam, Palak Pandoh
      Pages 434-446
    5. Wojciech Rytter, Wiktor Zuba
      Pages 447-459
    6. Clemens Müllner, Andrew Ryzhikov
      Pages 460-468
  9. Back Matter
    Pages 469-470

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019.

The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.

Keywords

artificial intelligence automata theory databases finite automata formal languages formal logic graph theory language regular expressions semantics set theory automation complexity grammar parsing rewriting theoretical computer science transducer word

Editors and affiliations

  1. 1.Rovira i Virgili UniversityTarragonaSpain
  2. 2.Saint Petersburg State UniversitySt. PetersburgRussia
  3. 3.Ariel UniversityArielIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-13435-8
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-13434-1
  • Online ISBN 978-3-030-13435-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace