Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
Material type:
TextSeries: Theoretical Computer Science and General Issues ; 10396 | Lecture Notes in Computer Science ; 10396Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: XXIII, 379 p. 79 illus. online resourceContent type: - text
- computer
- online resource
- 9783319628097
- Computer logic
- Mathematical logic
- Algorithms
- Computer science—Mathematics
- Natural language processing (Computer science)
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
- Discrete Mathematics in Computer Science
- Natural Language Processing (NLP)
- 005.1015113 23
- QA76.9.L63
- QA76.5913
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK14557 |
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.
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.
There are no comments on this title.