Location & Availability for: Language and automata theory and applica

 Staff view

You must be logged in to Tag Records

Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /

Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).

Book Cover
Names: Horia Dediu, Adrian. | Martín Vide, Carlos. | Truthe, Bianca.
Vernacular: Revealing vs. Concealing: More Simulation Games for Büchi Inclusion / Milka Hutagalung, Martin Lange, Etienne Lozes -- On Bounded Languages and Reversal-Bounded Automata / Oscar H. Ibarra, Bala Ravikumar -- Rewrite Closure and CF Hedge Automata / Florent Jacquemard, Michael Rusinowitch -- Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing / Tomasz Kociumaka [and others]́ -- From Regular Tree Expression to Position Tree Automaton / Éric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi -- Convergence of Newton's Method over Commutative Semirings / Michael Luttenberger, Maximilian Schlund -- Counting Minimal Symmetric Difference NFAs / Brink van der Merwe, Mark Farag, Jaco Geldenhuys -- Interval Logics and ωB-Regular Languages / Angelo Montanari, Pietro Sala -- Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars / Katsuhiko Nakamura, Keita Imada.
Asynchronous PC Systems of Pushdown Automata / Friedrich Otto -- Model Checking Metric Temporal Logic over Automata with One Counter / Karin Quaas -- Coinductive Proof Techniques for Language Equivalence / Jurriaan Rot, Marcello Bonsangue, Jan Rutten -- Ostrowski Numeration and the Local Period of Sturmian Words / Luke Schaeffer -- Boolean Algebras of Regular ω-Languages / Victor Selivanov, Anton Konovalov -- Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars / Eli Shamir -- Online Matching of Multiple Regular Patterns with Gaps and Character Classes / Seppo Sippu, Eljas Soisalon-Soininen -- Infiniteness and Boundedness in 0L, DT0L, and T0L Systems / Tim Smith -- Uniformisation of Two-Way Transducers / Rodrigo de Souza -- A Conditional Superpolynomial Lower Bound for Extended Resolution / Olga Tveretina -- A Turing Machine Distance Hierarchy / Stanislav Žák, Jiří Šíma.
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].
Published: Berlin ; Springer, ©2013.
Series: Lecture notes in computer science ; 7810.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Machine theory - Congresses. | Formal languages - Congresses. | Mathematical linguistics - Congresses. | Artificial Intelligence. | Programming Languages. | Linguistics. | Mathematics.
Genres: Electronic books. | Congress. | Conference papers and proceedings. | Computer software.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Language and automata theory and applica