Description |
1 online resource (xiv, 580 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 7810 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7810.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
880-01 Invited Talks. Complexity Dichotomy for Counting Problems / Jin-Yi Cai -- Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems / Kousha Etessami -- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking / Luke Ong -- Discrete Linear Dynamical Systems / Joël Ouaknine -- XML Schema Management: A Challenge for Automata Theory / Thomas Schwentick -- Regular Papers. On the Complexity of Shortest Path Problems on Discounted Cost Graphs / Rajeev Alur [and others] -- Termination of Rule-Based Calculi for Uniform Semi-Unification / Takahito Aoto, Munehiro Iwami -- Deciding WQO for Factorial Languages / Aistis Atminas, Vadim Lozin, Mikhail Moshkov -- On the Construction of a Family of Automata That Are Generically Non-minimal / Parisa Babaali, Christopher Knaplund -- Limited Non-determinism Hierarchy of Counter Automata / Sebastian Bala, Dariusz Jackowski -- Unambiguous Automata Denoting Finitely Sequential Functions / Sebastian Bala, Artur Koniński |
|
880-01/(S Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks / Giorgio Delzanno, Riccardo Traverso -- The Buffered π-Calculus: A Model for Concurrent Languages / Xiaojie Deng [and others] -- Mix-Automatic Sequences / Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks -- A Multivariate Analysis of Some DFA Problems / Henning Fernau, Pinar Heggernes, Yngve Villanger -- On the Size Complexity of Deterministic Frequency Automata / Rūsiņš Freivalds, Thomas Zeugmann, Grant R. Pogosyan -- On the Number of Unbordered Factors / Daniel Goč, Hamoon Mousavi, Jeffrey Shallit -- Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences / Daniel Goč, Kalle Saari, Jeffrey Shallit -- Efficient Submatch Extraction for Practical Regular Expressions / Stuart Haber [and others] -- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers / Kenji Hashimoto [and others] |
|
Duplication-Loss Genome Alignment: Complexity and Algorithm / Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk -- Maximizing Entropy over Markov Processes / Fabrizio Biondi [and others] -- MAT Learning of Universal Automata / Johanna Björklund, Henning Fernau, Anna Kasprzik -- A Graph Polynomial Approach to Primitivity / Francine Blanchet-Sadri [and others] -- Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem / Francine Blanchet-Sadri, Justin Lazarow -- Dynamic Communicating Automata and Branching High-Level MSCs / Benedikt Bollig [and others] -- Visibly Pushdown Automata: Universality and Inclusion via Antichains / Véronique Bruyère, Marc Ducobu, Olivier Gauwin -- Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions / Jean-Marc Champarnaud [and others] -- How to Travel between Languages / Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin -- Execution Information Rate for Some Classes of Automata / Cewei Cui [and others] |
Summary |
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 verifiation; 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 artifi- cial 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 |
Analysis |
Computer science |
|
Computer software |
|
Logic design |
|
Artificial intelligence |
|
Social sciences -- Data processing |
|
Computation by Abstract Devices |
|
Mathematical Logic and Formal Languages |
|
Logics and Meanings of Programs |
Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Print version record |
In |
Springer eBooks |
Subject |
Machine theory -- Congresses
|
|
Formal languages -- Congresses
|
|
Mathematical linguistics -- Congresses
|
|
Artificial intelligence.
|
|
Programming languages (Electronic computers)
|
|
Linguistics.
|
|
Mathematics.
|
|
Artificial Intelligence
|
|
Programming Languages
|
|
Linguistics
|
|
Mathematics
|
|
artificial intelligence.
|
|
linguistics.
|
|
mathematics.
|
|
applied mathematics.
|
|
Programming languages (Electronic computers)
|
|
Mathematics
|
|
Linguistics
|
|
Artificial intelligence
|
|
Formal languages
|
|
Machine theory
|
|
Mathematical linguistics
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Software.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Horia Dediu, Adrian.
|
|
Martín Vide, Carlos.
|
|
Truthe, Bianca.
|
ISBN |
9783642370649 |
|
3642370640 |
|