© 2019

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

About these proceedings


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.


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

Industry Sectors
IT & Software