My Account Log in

1 option

Language and Automata Theory and Applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide.

SpringerLink Books Computer Science (2011-2024) Available online

View online
Format:
Book
Contributor:
Horia Dediu, Adrian, Editor.
Martín Vide, Carlos, Editor.
SpringerLink (Online service)
Series:
Computer Science (SpringerNature-11645)
LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 7183
Theoretical Computer Science and General Issues, 2512-2029 ; 7183
Language:
English
Subjects (All):
Computer science.
Machine theory.
Algorithms.
Artificial intelligence.
Social sciences-Data processing.
Theory of Computation.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science Logic and Foundations of Programming.
Computer Application in Social and Behavioral Sciences.
Local Subjects:
Theory of Computation.
Formal Languages and Automata Theory.
Algorithms.
Artificial Intelligence.
Computer Science Logic and Foundations of Programming.
Computer Application in Social and Behavioral Sciences.
Physical Description:
1 online resource (XII, 556 pages) : 64 illustrations
Edition:
1st ed. 2012.
Contained In:
Springer Nature eBook
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
System Details:
text file PDF
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.
Other Format:
Printed edition:
ISBN:
978-3-642-28332-1
9783642283321
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account