Advertisement

Developments in Language Theory

23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

  • Piotrek Hofman
  • Michał Skrzypczak
Conference proceedings DLT 2019

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

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Shinnosuke Seki
      Pages 41-56
  3. Regular Papers

    1. Front Matter
      Pages 57-57
    2. Umer Azfar, Costanza Catalano, Ludovic Charlier, Raphaël M. Jungers
      Pages 59-73
    3. Jarkko Kari, Andrew Ryzhikov, Anton Varonka
      Pages 74-87
    4. Egor Dobronravov, Nikita Dobronravov, Alexander Okhotin
      Pages 88-99
    5. Di-De Yen, Hsu-Chun Yen
      Pages 100-112
    6. Viliam Geffert, Zuzana Bednárová, Alexander Szabari
      Pages 113-126
    7. Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
      Pages 127-139
    8. František Mráz, Friedrich Otto
      Pages 140-153
    9. D. Bhave, S. N. Krishna, R. Phawade, A. Trivedi
      Pages 168-181
    10. Paul Gastin, Amaldev Manuel, R. Govind
      Pages 182-191
    11. Simon Iosti, Denis Kuperberg
      Pages 192-205
    12. Denis Kuperberg, Laureline Pinault, Damien Pous
      Pages 206-220
    13. Paolo Massazza
      Pages 221-233
    14. Anna E. Frid
      Pages 234-243
    15. Petr Ambrož, Edita Pelantová
      Pages 244-250
    16. Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
      Pages 265-277
    17. Marie Lejeune, Julien Leroy, Michel Rigo
      Pages 278-291
    18. Tara Brough, Alan J. Cain, Markus Pfeiffer
      Pages 292-305
    19. M. Goldwurm, J. Lin, M. Vignati
      Pages 306-318
  4. Back Matter
    Pages 319-319

About these proceedings

Introduction

This book constitutes the proceedings of the 23rd International Conference on Developments in Language Theory, DLT 2019, held in Warsaw, Poland, in August 2019. 

The 20 full papers presented together with three invited talks were carefully reviewed and selected from 30 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties  of words and languages; grammars, acceptors and transducers for strings, trees, graphics, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis, polyominoes and bidimensional patterns; cryptography; concurrency; celluar automata; bio-inspired computing; quantum computing.


Keywords

automata theory context free languages databases finite automata formal languages linguistics logic and verification modal logic push-down automata quantitative automata query languages robotics semantics software engineering temporal logic translation (languages)

Editors and affiliations

  • Piotrek Hofman
    • 1
  • Michał Skrzypczak
    • 2
  1. 1.University of WarsawWarsawPoland
  2. 2.University of WarsawWarsawPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-24886-4
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-24885-7
  • Online ISBN 978-3-030-24886-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site