Developments in Language Theory
21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
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.
| ISBN: | 9783319628080 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 379 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Charlier, Émilie Leroy, Julien Rigo, Michel |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 21.07.2017 |
| Untertitel: | 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings |
| Schlagworte: | Combinatorics on words Complexity theory and logic Formal languages and automata theory Grammars and context-free languages Logic and verification Modal and temporal logics Proof theory Regular languages Transducers Tree languages |
Anmelden