Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings (eBook, 2012) [WorldCat.org]
skip to content
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings Preview this item
ClosePreview this item
Checking...

Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Author: Adrian Horia Dediu; Carlos Martín Vide
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 7183.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Computer software
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Adrian Horia Dediu; Carlos Martín Vide
ISBN: 9783642283321 3642283322
OCLC Number: 780068529
Description: 1 online resource (xiv, 552 pages)
Contents: Machine generated contents note: Measuring Information in Timed Languages --
Automata-Based Symbolic Representations of Polyhedra / Eugene Asarin --
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory / Jean-François Degbomont / Julien Brusten / Bernard Boigelot --
Parameterized Complexity Tutorial / Gilles Dowek --
Computer Science of DNA Nanotechnology / Rod Downey --
Minimal Cost Reachability Problem in Priced Timed Pushdown Systems / Jack H. Lutz --
Unification Modulo Chaining / Jan Stenman / Mohamed Faouzi Atig / Parosh Aziz Abdulla --
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits / Christopher Bouchard / Paliath Narendran / Michael Rusinowitch / Siva Anantharam --
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space / Vikraman Arvind / Yadu Vasudev --
Defining Contexts in Context-Free Grammars / Holger Bock Axelsen --
Longest Common Extensions via Fingerprinting / Alexander Okhotin / Mikhail Barash --
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies / Inge Li Gørtz / Jesper Kristensen / Philip Bille --
Efficient Implicit OBDD-Based Algorithm for Maximal Matchings / Philip Bille / Morten Stöckel --
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems / Tobias Pröger / Beate Bollig --
Covering Space in the Besicovitch Topology / Laura Bozzelli --
Approximate Regular Expressions and Their Derivatives / Julien Cervelle --
Catalytic Petri Nets Are Turing Complete / Ludovic Mignot / Jean-Marc Champarnaud / Hadrien Jeanne --
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata / Gabriel Ciobanu / G. Michele Pinna --
Conservative Groupoids Recognize Only Regular Languages / Julien Provillard / Enrico Formenti / Alberto Dennunzio Note continued: Advice Complexity of Online Coloring for Paths / Danny Dubé / Mario Latendresse / Pascal Tesson --
Faster Grammar-Based Self-index / Monika Steinová / Lucia Keller / Michal Fori[š]ek --
Learnability of Co-r.e. Classes / Travis Gagie / Julia Kärkkäinen / Simon J. Puglisi / Yakov Nekrich / Pawel Gawrychowski --
Two-Way Automata Making Choices Only at the Endmarkers / Ziyuan Gao / Frank Stephan --
Polynomial-Time Algorithms for Learning Typed Pattern Languages / Viliam Geffert / Bruno Guillon / Giovanni Pighizzini --
Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems / Michael Geilke / Sandra Zilles --
Applying Tree Languages in Proof Theory / Daniela Genova --
Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints / Stefan Hetzl --
Characterizing the Rational Functions by Restarting Transducers / Dag Hovland --
^ Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines / Friedrich Otto / Norbert Hundeshagen --
Feasible Automata for Two-Variable Logic with Successor on Data Words / Oscar H. Ibarra / Nicholas Q. Tran --
Nash Equilibria in Concurrent Priced Gaines / Tony Tan / Ahmet Kara / Thomas Schwentick --
Computing by Observing Insertion / Jeppe Thaarup / Miroslav Klimo[š] / Filip [Š]tefanák / Kim G. Larsen --
On the Parameterized Complexity of Default Logic and Autoepistemic Logic / Alexander Krassovitskiy / Peter Leupold --
Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic / Johannes Schmidt / Heribert Vollmer / Michael Thomas / Arne Meier --
On Model Checking for Visibly Pushdown Automata / Alexei Miasnikov / Zoran [Š]unic --
Automaton-Based Array Initialization Analysis / Tang Van Nguyen / Hitoshi Ohsaki --
^ Dynamics of Circuits and Intersecting Circuits / Durica Nikolic / Fausto Spoto Note continued: Canonizable Partial Order Generators / Mathilde Noual --
Ogden's Lemma for ETOL Languages / Mateus de Oliveira Oliveira --
Patterns with Bounded Treewidth / Max Rabkin --
P-NP Threshold for Synchronizing Road Coloring / Daniel Reidenbach / Markus L. Schmid --
k-Automatic Sets of Rational Numbers / Adam Roman --
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata / Eric Rowland / Jeffrey Shallit --
Automaton Ranks of Some Self-similar Groups / Ville Salo / Ilkka Törmä --
One-Way Reversible and Quantum Finite Automata with Advice / Adam Woryna --
Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars / Tomoyuki Yamakami.
Series Title: Lecture notes in computer science, 7183.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: LATA 2012
Responsibility: Adrian-Horia Dediu, Carlos Martín-Vide (eds.).

Abstract:

This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruna, Spain in March 2012.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.