Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Bases Théoriques de l'Informatique
TGI
Cours
Recherche
Publications
Misc
Petri Nets World
TGI
Page de l'accueil
Annonces
Équipe
Étudiants
Cours
Cours (seulement en Allemand)
Mémoire (seulement en Allemand)
Recherche
Publications
Service
Service
Outils
Petri Nets World
UHH
>
MIN
>
Informatique
>
TGI
Bibliographie
Totzke, Patrick
2010
Manfred Kudlek
,
Patrick Totzke
, and
Georg Zetzsche
.
Are there universal finite or pushdown automata
?
Bericht des Fachbereichs Informatik FBI-HH-B-293/10, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, Germany, 2010.
2009
Manfred Kudlek
,
Patrick Totzke
, and
Georg Zetzsche
.
Multiset pushdown automata
.
Fundamenta Informaticae
, 93(1-3):221-233, 2009.
Manfred Kudlek
,
Patrick Totzke
, and
Georg Zetzsche
.
Properties of multiset language classes defined by multiset pushdown automata
.
Fundamenta Informaticae
, 93(1-3):235-244, 2009.
Manfred Kudlek
and
Patrick Totzke
.
On a hierarchy of multiset automata
.
In Ludwik Czaja, editor,
Concurrency, Specification, and Programming. Workshop CS&P 2009, Kraków-Przegorza
y, Poland. Proceedings
, volume 1, pages 327-336, September 2009.
[link]
Patrick Totzke
.
Multiset rewriting - a formal language theoretic perspective on concurrent systems
.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, October 2009.
2008
Manfred Kudlek
,
Patrick Totzke
, and
Georg Zetzsche
.
Multiset storage automata
.
In H.-D. Burkhard, Ludwik Czaja, G. Lindemann, and A. Skowron, editors,
Proceedings of the Workshop CS&P'2008
, volume 2, pages 265-277, September 2008.
[pdf]
[link]
Manfred Kudlek
,
Patrick Totzke
, and
Georg Zetzsche
.
Properties of multiset language classes defined by multiset storage automata
.
In H.-D. Burkhard, Ludwik Czaja, G. Lindemann, and A. Skowron, editors,
Proceedings of the Workshop CS&P'2008
, volume 2, pages 278-288, September 2008.
[pdf]
[link]
Responsable du site/mentions légales
Dernière modification: 17:16 05.06.2024