11. DLT 2007:
Turku,
Finland
Tero Harju, Juhani Karhumäki, Arto Lepistö (Eds.):
Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings.
Lecture Notes in Computer Science 4588 Springer 2007, ISBN 978-3-540-73207-5 BibTeX
Invited Talks
Contributed Papers
- Marcella Anselmo, Dora Giammarresi, Maria Madonia:
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages.
36-47
Electronic Edition (link) BibTeX
- Marie-Pierre Béal, Fabio Burderi, Antonio Restivo:
Coding Partitions: Regularity, Maximality and Global Ambiguity.
48-59
Electronic Edition (link) BibTeX
- Aleksandrs Belovs, Ansis Rosmanis, Juris Smotrovs:
Multi-letter Reversible and Quantum Finite Automata.
60-71
Electronic Edition (link) BibTeX
- Alberto Bertoni, Roberto Radicioni:
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids.
72-83
Electronic Edition (link) BibTeX
- Laurent Bienvenu, Mathieu Sablik:
The Dynamics of Cellular Automata in Shift-Invariant Topologies.
84-95
Electronic Edition (link) BibTeX
- Francine Blanchet-Sadri, N. C. Brownstein, Justin Palumbo:
Two Element Unavoidable Sets of Partial Words.
96-107
Electronic Edition (link) BibTeX
- Henning Bordihn, Markus Holzer, Martin Kutrib:
Hairpin Finite Automata.
108-119
Electronic Edition (link) BibTeX
- Robert Brijder, Hendrik Jan Hoogeboom:
Characterizing Reduction Graphs for Gene Assembly in Ciliates.
120-131
Electronic Edition (link) BibTeX
- Dario Carotenuto, Aniello Murano, Adriano Peron:
2-Visibly Pushdown Automata.
132-144
Electronic Edition (link) BibTeX
- Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi:
An Efficient Computation of the Equation K-Automaton of a Regular K-Expression.
145-156
Electronic Edition (link) BibTeX
- Javier Esparza, Stefan Kiefer, Michael Luttenberger:
An Extension of Newton's Method to omega -Continuous Semirings.
157-168
Electronic Edition (link) BibTeX
- Rusins Freivalds:
Non-constructive Methods for Finite Probabilistic Automata.
169-180
Electronic Edition (link) BibTeX
- Dominik D. Freydenberger, Daniel Reidenbach:
The Unambiguity of Segmented Morphisms.
181-192
Electronic Edition (link) BibTeX
- Anna E. Frid:
Commutation of Binary Factorial Languages.
193-204
Electronic Edition (link) BibTeX
- Hermann Gruber, Markus Holzer:
Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP.
205-216
Electronic Edition (link) BibTeX
- Yo-Sub Han, Kai Salomaa:
State Complexity of Union and Intersection of Finite Languages.
217-228
Electronic Edition (link) BibTeX
- Johanna Högberg, Andreas Maletti, Jonathan May:
Bisimulation Minimisation for Weighted Tree Automata.
229-241
Electronic Edition (link) BibTeX
- Artur Jez:
Conjunctive Grammars Can Generate Non-regular Unary Languages.
242-253
Electronic Edition (link) BibTeX
- Jozef Jirásek, Galina Jirásková, Alexander Szabari:
Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet.
254-265
Electronic Edition (link) BibTeX
- Sandrine Julia, Tran Vinh Duc:
Reduced Languages as omega -Generators.
266-277
Electronic Edition (link) BibTeX
- Dalia Krieger, Pascal Ochem, Narad Rampersad, Jeffrey Shallit:
Avoiding Approximate Squares.
278-289
Electronic Edition (link) BibTeX
- Peter Leupold:
Duplication Roots.
290-299
Electronic Edition (link) BibTeX
- Remco Loos, Mitsunori Ogihara:
Complexity Theory for Splicing Systems.
300-311
Electronic Edition (link) BibTeX
- Andreas Malcher, Giovanni Pighizzini:
Descriptional Complexity of Bounded Context-Free Languages.
312-323
Electronic Edition (link) BibTeX
- Christian Mathissen:
Definable Transductions and Weighted Logics for Texts.
324-336
Electronic Edition (link) BibTeX
- Edward Ochmanski, Krystyna Stawikowska:
A Star Operation for Star-Free Trace Languages.
337-345
Electronic Edition (link) BibTeX
- Lutz Priese:
Finite Automata on Unranked and Unordered DAGs.
346-360
Electronic Edition (link) BibTeX
- Yuri Pritykin:
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases.
361-370
Electronic Edition (link) BibTeX
- Gwénaël Richomme:
A Local Balance Property of Episturmian Words.
371-381
Electronic Edition (link) BibTeX
- Marinella Sciortino, Luca Q. Zamboni:
Suffix Automata and Standard Sturmian Words.
382-398
Electronic Edition (link) BibTeX
- Victor L. Selivanov:
Fine Hierarchy of Regular Aperiodic omega -Languages.
399-410
Electronic Edition (link) BibTeX
- Hellis Tamm:
On Transition Minimality of Bideterministic Automata.
411-421
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:07:11 2009
by Michael Ley (ley@uni-trier.de)