8. DLT 2004:
Auckland,
New Zealand
Cristian Calude, Elena Calude, Michael J. Dinneen (Eds.):
Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings.
Lecture Notes in Computer Science 3340 Springer 2004, ISBN 3-540-24014-4 BibTeX
Invited Papers
Contributed Papers
- Marcella Anselmo, Dora Giammarresi, Maria Madonia:
Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet.
63-75
Electronic Edition (link) BibTeX
- Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil:
On Competence in CD Grammar Systems.
76-88
Electronic Edition (link) BibTeX
- Bernd Borchert, Klaus-Jörn Lange, Frank Stephan, Pascal Tesson, Denis Thérien:
The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels.
89-101
Electronic Edition (link) BibTeX
- Henning Bordihn, Markus Holzer, Martin Kutrib:
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.
102-113
Electronic Edition (link) BibTeX
- Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati:
On the Maximum Coefficients of Rational Formal Series in Commuting Variables.
114-126
Electronic Edition (link) BibTeX
- Mark Daley, Michael Domaratzki:
On Codes Defined by Bio-Operations.
127-138
Electronic Edition (link) BibTeX
- Flavio D'Alessandro, Stefano Varricchio:
Avoidable Sets and Well Quasi-Orders.
139-150
Electronic Edition (link) BibTeX
- Jürgen Dassow:
A Ciliate Bio-operation and Language Families.
151-162
Electronic Edition (link) BibTeX
- Michael Domaratzki:
Semantic Shuffle on and Deletion Along Trajectories.
163-174
Electronic Edition (link) BibTeX
- Chiara Epifanio, Filippo Mignosi, Jeffrey Shallit, Ilaria Venturini:
Sturmian Graphs and a Conjecture of Moser.
175-187
Electronic Edition (link) BibTeX
- Rudolf Freund:
P Systems Working in the Sequential Mode on Arrays and Strings.
188-199
Electronic Edition (link) BibTeX
- Jozef Gruska, Salvatore La Torre, Mimmo Parente:
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.
200-211
Electronic Edition (link) BibTeX
- Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang:
The Power of Maximal Parallelism in P Systems.
212-224
Electronic Edition (link) BibTeX
- Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda:
An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars.
225-236
Electronic Edition (link) BibTeX
- Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek:
On the Complexity of 2-Monotone Restarting Automata.
237-248
Electronic Edition (link) BibTeX
- Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek:
On Left-Monotone Deterministic Restarting Automata.
249-260
Electronic Edition (link) BibTeX
- Oleksiy Kurganskyy, Igor Potapov:
On the Computation Power of Finite Automata in Two-dimensional Environments.
261-271
Electronic Edition (link) BibTeX
- Dietrich Kuske, Peter Weigel:
The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems.
272-283
Electronic Edition (link) BibTeX
- Martin Kutrib, Andreas Malcher, Detlef Wotschke:
The Boolean Closure of Linear Context-Free Languages.
284-295
Electronic Edition (link) BibTeX
- Stephen R. Lakin, Richard M. Thomas:
Context-Sensitive Decision Problems in Groups.
296-307
Electronic Edition (link) BibTeX
- Markus Lohrey:
Decidability and Complexity in Automatic Monoids.
308-320
Electronic Edition (link) BibTeX
- Andreas Maletti:
Relating Tree Series Transducers and Weighted Tree Automata.
321-333
Electronic Edition (link) BibTeX
- Anca Muscholl, Igor Walukiewicz:
An NP-Complete Fragment of LTL.
334-344
Electronic Edition (link) BibTeX
- Igor Potapov:
From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata.
345-356
Electronic Edition (link) BibTeX
- Narad Rampersad:
Words Avoiding 7/3-Powers and the Thue-Morse Morphism.
357-367
Electronic Edition (link) BibTeX
- Daniel Reidenbach:
On the Equivalence Problem for E-pattern Languages over Small Alphabets.
368-380
Electronic Edition (link) BibTeX
- Chloe Rispal, Olivier Carton:
Complementation of Rational Sets on Countable Scattered Linear Orderings.
381-392
Electronic Edition (link) BibTeX
- Ludwig Staiger:
On the Hausdorff Measure of omega-Power Languages.
393-405
Electronic Edition (link) BibTeX
- Bianca Truthe:
A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages.
406-417
Electronic Edition (link) BibTeX
- Sergey Verlan:
Tissue P Systems with Minimal Symport/Antiport.
418-430
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:07:10 2009
by Michael Ley (ley@uni-trier.de)
