Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10396)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: DLT 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (28 papers)
-
Front Matter
-
Regular Papers
-
Front Matter
-
Other volumes
-
Developments in Language Theory
Keywords
- Formal languages and automata theory
- Grammars and context-free languages
- Tree languages
- Transducers
- Regular languages
- Complexity theory and logic
- Logic and verification
- Proof theory
- Modal and temporal logics
- Combinatorics on words
- Graph theory
- Trees
- Complexity classes
- Problems, reductions and completeness
- Proof complexity
- Complexity theory and logic
- Number-theoretic computations
- Algorithmic game theory
- Model checking
- algorithm analysis and problem complexity
About this book
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 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-inspiredcomputing; quantum computing.
Editors and Affiliations
Bibliographic Information
Book Title: Developments in Language Theory
Book Subtitle: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Editors: Émilie Charlier, Julien Leroy, Michel Rigo
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-62809-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-62808-0Published: 21 July 2017
eBook ISBN: 978-3-319-62809-7Published: 20 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 379
Number of Illustrations: 79 b/w illustrations
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Natural Language Processing (NLP)