Custom cover image
Custom cover image

Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook collection Computer science | Lecture notes in computer science ; 9840Publisher: Berlin, Heidelberg : Springer, 2016Description: Online-Ressource (XVII, 407 p. 48 illus, online resource)ISBN:
  • 9783662531327
Subject(s): Additional physical formats: 9783662531310 | Druckausg.: 978-3-662-53131-0 | Erscheint auch als: Developments in language theory. Druck-Ausgabe Berlin : Springer, 2016. XVII, 405 SeitenDDC classification:
  • 004.0151
MSC: MSC: *68-06 | 68Q45 | 00B25RVK: RVK: SS 4800LOC classification:
  • QA75.5-76.95
DOI: DOI: 10.1007/978-3-662-53132-7Online resources: Summary: This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016. The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, 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 bidimentional patterns; cryptography; concurrency; cellular automata; bio-inspried computing; quantum computingSummary: Formal languages and automata -- Combinatorial and algebraic properties of words and languages -- Grammars, acceptors and transducers for strings, trees, graphs, 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 bidimentional patterns; cryptography; concurrency -- Cellular automata; bio-inspried computing; quantum computingPPN: PPN: 1658459342Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record

Powered by Koha