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 – Editorial | 71–74 |
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch: | |
String Rewriting and Security Analysis: An Extension of a Result of Book and Otto | 75–90 |
Henning Bordihn, Markus Holzer, Martin Kutrib: | |
Hairpin Finite Automata | 91–107 |
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran: | |
Unification Over Distributive Exponentiation (Sub)Theories | 109–140 |
Artur Jeż, Tomasz Jurdziński: | |
Length-Reducing Automata (Almost) Without Auxiliary Symbols | 141–164 |
Hartmut Messerschmidt, Martin Stommel: | |
Church-Rosser Picture Languages and Their Applications in Picture Recognition | 165–194 |
Benedek Nagy: | |
On CD-Systems of Stateless Deterministic R(2)-Automata | 195–213 |
Dana Pardubská, Frantisek Mráz, Martin Platek: | |
Translations by Regulated Parallel Communicating Grammar Systems | 215–251 |