2. LATA 2008:
Tarragona,
Spain
Carlos Martín-Vide, Friedrich Otto, Henning Fernau (Eds.):
Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers.
Lecture Notes in Computer Science 5196 Springer 2008, ISBN 978-3-540-88281-7 BibTeX
Invited Papers
Contributed Papers
- Artiom Alhazov, Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Yurii Rogozhin:
About Universal Hybrid Networks of Evolutionary Processors of Small Size.
28-39
Electronic Edition (link) BibTeX
- Jan-Henrik Altenbernd:
On Bifix Systems and Generalizations.
40-51
Electronic Edition (link) BibTeX
- Terry Anderson, Narad Rampersad, Nicolae Santean, Jeffrey Shallit:
Finite Automata, Palindromes, Powers, and Patterns.
52-63
Electronic Edition (link) BibTeX
- Pablo Arrighi, Vincent Nesme, Reinhard Werner:
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations.
64-75
Electronic Edition (link) BibTeX
- Dorothea Baumeister, Jörg Rothe:
The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions.
76-87
Electronic Edition (link) BibTeX
- Denis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel:
Optional and Iterated Types for Pregroup Grammars.
88-100
Electronic Edition (link) BibTeX
- Florent Becker:
Transformations and Preservation of Self-assembly Dynamics through Homotheties.
101-112
Electronic Edition (link) BibTeX
- Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib:
Deterministic Input-Reversal and Input-Revolving Finite Automata.
113-124
Electronic Edition (link) BibTeX
- Henning Bordihn, Markus Holzer:
Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems.
125-136
Electronic Edition (link) BibTeX
- Robert Brijder, Hendrik Jan Hoogeboom:
Extending the Overlap Graph for Gene Assembly in Ciliates.
137-148
Electronic Edition (link) BibTeX
- Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas:
Automatic Presentations for Cancellative Semigroups.
149-159
Electronic Edition (link) BibTeX
- Silvio Capobianco:
Induced Subshifts and Cellular Automata.
160-171
Electronic Edition (link) BibTeX
- Giusi Castiglione, Antonio Restivo, Marinella Sciortino:
Hopcroft's Algorithm and Cyclic Automata.
172-183
Electronic Edition (link) BibTeX
- Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren:
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs.
184-195
Electronic Edition (link) BibTeX
- Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Consensual Definition of Languages by Regular Sets.
196-208
Electronic Edition (link) BibTeX
- Jürgen Dassow, Sherzod Turaev:
k-Petri Net Controlled Grammars.
209-220
Electronic Edition (link) BibTeX
- Pawel Gawrychowski, Andrzej Kisielewicz:
2-Synchronizing Words.
221-231
Electronic Edition (link) BibTeX
- Mathieu Giraud:
Not So Many Runs in Strings.
232-239
Electronic Edition (link) BibTeX
- Lê Hông Phuong, Nguyên Thi Minh Huyên, Azim Roussanaly, Hô Tuòng Vinh:
A Hybrid Approach to Word Segmentation of Vietnamese Texts.
240-249
Electronic Edition (link) BibTeX
- Ozan Kahramanogullari:
On Linear Logic Planning and Concurrency.
250-262
Electronic Edition (link) BibTeX
- Laura Kallmeyer, Yannick Parmentier:
On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG).
263-274
Electronic Edition (link) BibTeX
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-pattern Matching Modulo.
275-286
Electronic Edition (link) BibTeX
- Sergey Kitaev, Toufik Mansour, Patrice Séébold:
Counting Ordered Patterns in Words Generated by Morphisms.
287-298
Electronic Edition (link) BibTeX
- Ondrej Klíma, Libor Polák:
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups.
299-310
Electronic Edition (link) BibTeX
- Barbara Klunder:
Characterization of Star-Connected Languages Using Finite Automata.
311-320
Electronic Edition (link) BibTeX
- Martin Korp, Aart Middeldorp:
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems.
321-332
Electronic Edition (link) BibTeX
- Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan:
Further Results on Insertion-Deletion Systems with One-Sided Contexts.
333-344
Electronic Edition (link) BibTeX
- Peter Leupold:
On Regularity-Preservation by String-Rewriting Systems.
345-356
Electronic Edition (link) BibTeX
- Andreas Maletti:
Minimizing Deterministic Weighted Tree Automata.
357-372
Electronic Edition (link) BibTeX
- Mark Mercer:
Lower Bounds for Generalized Quantum Finite Automata.
373-384
Electronic Edition (link) BibTeX
- Malgorzata Moczurad, Wlodzimierz Moczurad:
How Many Figure Sets Are Codes?.
385-396
Electronic Edition (link) BibTeX
- Etsuro Moriya, Friedrich Otto:
On Alternating Phrase-Structure Grammars.
397-408
Electronic Edition (link) BibTeX
- Friedrich Otto, Martin Plátek:
A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata.
409-420
Electronic Edition (link) BibTeX
- Alexander Perekrestenko:
Minimalist Grammars with Unbounded Scrambling and Nondiscriminating Barriers Are NP-Hard.
421-432
Electronic Edition (link) BibTeX
- Holger Petersen:
Sorting and Element Distinctness on One-Way Turing Machines.
433-439
Electronic Edition (link) BibTeX
- Svetlana Puzynina:
On Periodicity of Generalized Two-Dimensional Words.
440-451
Electronic Edition (link) BibTeX
- Damien Regnault, Nicolas Schabanel, Eric Thierry:
On the Analysis of "Simple" 2D Stochastic Cellular Automata.
452-463
Electronic Edition (link) BibTeX
- Elaine Render, Mark Kambites:
Polycyclic and Bicyclic Valence Automata.
464-475
Electronic Edition (link) BibTeX
- Arto Salomaa, Kai Salomaa, Sheng Yu:
Length Codes, Products of Languages and Primality.
476-486
Electronic Edition (link) BibTeX
- Ryo Yoshinaka:
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs.
487-498
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:28:31 2009
by Michael Ley (ley@uni-trier.de)
