Language and Automata Theory and Applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings /

Language and Automata Theory and Applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings /

Show other versions (2)

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 a...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Horia Dediu, Adrian (Editor, http://id.loc.gov/vocabulary/relators/edt), Martín Vide, Carlos (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Edition:1st ed. 2012
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues ; 7183.
LNCS sublibrary Theoretical computer science and general issues 7183
Subjects:
Algorithms
Application software
Artificial intelligence
Computer logic
Computer science
Computers
Logic, Symbolic and mathematical
Machine theory
Social sciences-Data processing
Computation by Abstract Devices
Theory of Computation
Algorithm Analysis and Problem Complexity
Artificial Intelligence
Computer Appl. in Social and Behavioral Sciences
Computer Application in Social and Behavioral Sciences
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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, et cetera 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
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, et cetera 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
Physical Description:1 online resource (XII, 556 pages) : 64 illustrations
ISBN:978-3-642-28332-1
9783642283321
ISSN:2512-2029 ;
Access:Restricted for use by site license
Restricted for use by site license.

Similar Items