Language and Automata Theory and Applications

Publisher : Springer

ISBN-13 : 3642370640

Page : 580 pages

Rating : 4.5/5 from 640 voters

This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, held in Bilbao, Spain in April 2013. The 45 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 97 initial submissions. The volume features contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). Among the topics covered are algebraic language theory; algorithms for semi-structured data mining; algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata, concurrency and Petri nets; automatic structures; cellular automata; combinatorics on words; computability; computational complexity; computational linguistics; data and image compression; decidability questions on words and languages; descriptional complexity; DNA and other models of bio-inspired computing; document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.); grammars and automata architectures; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; language-based cryptography; language-theoretic foundations of artificial intelligence and artificial life; parallel and regulated rewriting; parsing; pattern recognition; patterns and codes; power series; quantum, chemical and optical computing; semantics; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; symbolic neural networks; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.

More Books:

Language and Automata Theory and Applications
Language: en
Pages: 580
Authors: Adrian-Horia Dediu
Categories: Computers
Type: BOOK - Published: 2013-03-15 - Publisher: Springer

This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, held in Bilbao,
Typed Lambda Calculi and Applications
Language: en
Pages: 436
Authors: Samson Abramsky
Categories: Mathematics
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland i
Theoretical Aspects of Computing - ICTAC 2012
Language: en
Pages: 259
Authors: Abhik Roychoudhury
Categories: Computers
Type: BOOK - Published: 2012-08-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in
Computer Science Logic
Language: en
Pages: 550
Authors: Peter G. Clote
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th A
Logic and Its Applications
Language: en
Pages: 239
Authors: Sujata Ghosh
Categories: Mathematics
Type: BOOK - Published: 2016-12-25 - Publisher: Springer

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The v
Automata, Languages and Programming
Language: en
Pages: 689
Authors: Luca Aceto
Categories: Computers
Type: BOOK - Published: 2011-06-27 - Publisher: Springer Science & Business Media

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICA
Automata, Languages, and Programming
Language: en
Pages: 700
Authors: Artur Czumaj
Categories: Computers
Type: BOOK - Published: 2012-06-24 - Publisher: Springer

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming,
Programming Languages and Systems
Language: en
Pages: 402
Authors: Sophia Drossopoulou
Categories: Computers
Type: BOOK - Published: 2008-04-03 - Publisher: Springer

This proceedings volume of the 17th European Symposium on Programming examines fundamental issues in the specification, analysis and implementation of programmi
Foundations of Software Science and Computational Structures
Language: en
Pages: 471
Authors: Luca de Alfaro
Categories: Computers
Type: BOOK - Published: 2009-03-27 - Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 200
Theoretical Computer Science
Language: en
Pages: 400
Authors: Carlo Blundo
Categories: Computers
Type: BOOK - Published: 2003-11-06 - Publisher: Springer

This book constitutes the refereed proceedings of the 8th Italian Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 20