Language and Automata Theory and Applications

6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings

Adrian-Horia Dediu, Carlos Martín-Vide (Herausgeber)

Buch | Softcover

XII, 556 Seiten

2012 | 2012
Springer Berlin (Verlag)
978-3-642-28331-4 (ISBN)

Infos

This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.

Produkt-Details

• Erscheint lt. Verlag: 24.2.2012
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Theoretical Computer Science and General Issues
• Zusatzinfo: XII, 556 p. 64 illus.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Informatik ► Software Entwicklung ► User Interfaces (HCI)
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Schlagworte: Algorithm analysis and problem complexity • Dynamical Systems • Formal Languages • Model Checking • numerical constraints • Regular Expressions
• ISBN-10: 3-642-28331-4 / 3642283314
• ISBN-13: 978-3-642-28331-4 / 9783642283314
• Zustand: Neuware