Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10168)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: LATA 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (33 papers)
-
Pushdown Automata and Systems
Other volumes
-
Language and Automata Theory and Applications
Keywords
- algorithmic learning
- cellular automata
- computational complexity
- cyber-physical system
- semantics
- automata
- computer science logic
- concurrency
- context-free languages
- finite automata
- formal languages and automata theory
- grammars
- indexed languages
- languages
- parametrized complexity
- petri nets
- regular expressions
- theory of computation
- transducers
- weighted automata
About this book
This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017.
The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.
Editors and Affiliations
Bibliographic Information
Book Title: Language and Automata Theory and Applications
Book Subtitle: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Editors: Frank Drewes, Carlos Martín-Vide, Bianca Truthe
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-53733-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-53732-0Published: 16 February 2017
eBook ISBN: 978-3-319-53733-7Published: 14 February 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 462
Number of Illustrations: 59 b/w illustrations
Topics: Computation by Abstract Devices, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Database Management, Programming Techniques, Artificial Intelligence