VOLUME 16 2011 NUMBERS 2–4

Selected Papers Dedicated to Friedrich Otto on the Occasion of his 60th Birthday

Henning Bordihn, Jürgen Dassow, Martin Kutrib, Bianca Truthe:
Selected Papers Dedicated to Friedrich Otto on the Occasion of his 60th Birthday – Editorial71–74
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch:
String Rewriting and Security Analysis: An Extension of a Result of Book and Otto75–90
Henning Bordihn, Markus Holzer, Martin Kutrib:
Hairpin Finite Automata91–107
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran:
Unification Over Distributive Exponentiation (Sub)Theories109–140
Artur Jeż, Tomasz Jurdziński:
Length-Reducing Automata (Almost) Without Auxiliary Symbols141–164
Hartmut Messerschmidt, Martin Stommel:
Church-Rosser Picture Languages and Their Applications in Picture Recognition165–194
Benedek Nagy:
On CD-Systems of Stateless Deterministic R(2)-Automata195–213
Dana Pardubská, Frantisek Mráz, Martin Platek:
Translations by Regulated Parallel Communicating Grammar Systems215–251