- Florin Manea, Victor Mitrana, José M. Sempere
:
Some Remarks on Superposition Based on Watson-Crick-Like Complementarity. Developments in Language Theory 2009: 372-383 - Ingmar Meinecke:
A Weighted µ-Calculus on Words. Developments in Language Theory 2009: 384-395 - Fabio Mogavero
, Aniello Murano
:
Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409 - Holger Petersen:
Simulations by Time-Bounded Counter Machines. Developments in Language Theory 2009: 410-418 - Karin Quaas:
Weighted Timed MSO Logics. Developments in Language Theory 2009: 419-430 - Antonio Restivo, Giovanna Rosone
:
Balanced Words Having Simple Burrows-Wheeler Transform. Developments in Language Theory 2009: 431-442 - Aleksi Saarela
:
On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations. Developments in Language Theory 2009: 443-453 - Arseny M. Shur:
Two-Sided Bounds for the Growth Rates of Power-Free Languages. Developments in Language Theory 2009: 466-477 - Rodrigo de Souza
:
On the Decidability of the Equivalence for a Certain Class of Transducers. Developments in Language Theory 2009: 478-489 - Georg Zetzsche
:
Erasing in Petri Net Languages and Matrix Grammars. Developments in Language Theory 2009: 490-501 - Volker Diekert, Dirk Nowotka:
Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings. Lecture Notes in Computer Science 5583, Springer 2009, ISBN 978-3-642-02736-9 [contents]