| TeilnehmerIn | Vortragstitel |
|---|
| Oliver Boldt (Magdeburg) |
|
| Henning Bordihn (Magdeburg) |
|
| Thomas Buchholz (Giessen) |
Ergebnisse zu Komplexitätsklassen und Bemerkungen zur Zeitreduktion in zellularen Raeumen (mit M. Kutrib) |
| Jürgen Dassow (Magdeburg) |
|
| Frank Drewes (Bremen) |
Bilderzeugung mit Hilfe von Baumgeneratoren |
| Joost Engelfriet (Leiden) |
Monadic second-order logic on strings and trees (im Rahmen des
Workshops) |
| Henning Fernau (Tuebingen) |
Linksableitungen bei programmierten Grammatiken |
| Rudolf Freund (Wien) |
Graphgrammatiken als Basis von Programmsystemen und
-entwicklungsumgebungen |
| Ursula Goltz (Hildesheim) |
Über den modularen hierarchischen Entwurf reaktiver Systeme
(im Rahmen des Workshops) |
| Annegret Habel (Hildesheim) |
Substitutionsbasierte Graphersetzung |
| Fritz von Haeseler (Bremen) |
Aspekte automatischer Folgen (im Rahmen des Workshops,
mit G. Skordev) |
| Markus Holzer (Tuebingen) |
Complexity of Array Languages |
| Daniel Kirsten (Dresden) |
|
| Renate Klempien-Hinrichs (Bremen) |
Elementare Ersetzung in Hypergraphen |
| Hans-Jörg Kreowski (Bremen) |
Kontextfreie und kontextsensitive Collagen-Grammatiken |
| Ralph Kummetz (Dresden) |
|
| Dietrich Kuske (Dresden) |
Acceptance modes for asynchronous cellular automata for
pomsets and first order logic |
| Martin Kutrib (Giessen) |
Ergebnisse zu Komplexitätsklassen und Bemerkungen zur Zeitreduktion in zellularen Raeumen (mit T. Buchholz) |
| Klaus-Joern Lange (Tuebingen) |
Dichte Vollstaendigkeit |
| Markus Lohrey (Dresden) |
|
| Dirk Nowotka (Warwick) |
|
| Friedrich Otto (Kassel) |
On the class of Church-Rosser languages |
| Bernd Reichel (Magdeburg) |
|
| Kristin Schröder (Dresden) |
|
| Detlef Seese (Karlsruhe) |
Algorithmische Probleme für baumartige Strukturen:
Automatisch/automatentheoretisch vom Problem zur Lösung
(im Rahmen des Workshops) |
| Helmut Seidl (Trier) |
Interprozedurale Analyse mithilfe von Kellerautomaten
|
| Guentcho Skordev (Bremen) |
Aspekte automatischer Folgen (im Rahmen des Workshops, mit
F. von Haeseler) |
| Ludwig Staiger (Halle) |
Rich omega-words and monadic second-order arithmetic |
| Wolfgang Thomas (Kiel) |
|
| Heiko Vogler (Dresden) |
Theorie der Tree Transducer (im Rahmen des Workshops) |