Produktnummer:
18f90f4fc577ea44fab3fe9570414965c9
| Themengebiete: | 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 |
|---|---|
| Veröffentlichungsdatum: | 21.07.2017 |
| EAN: | 9783319628080 |
| Sprache: | Englisch |
| Seitenzahl: | 379 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Charlier, Émilie Leroy, Julien Rigo, Michel |
| Verlag: | Springer International Publishing |
| Untertitel: | 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings |
Produktinformationen "Developments in Language Theory"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen