Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Theoretische Grundlagen der Informatik
TGI
Personen
Lehre
Forschung
Publikationen
Misc
Petri Nets World
TGI
Heimatseite
Ankündigungen
Personen
Mitarbeiterinnen und Mitarbeiter
Studentinnen und Studenten
Lehre
Lehre
Abschlussarbeiten
Forschung
Publikationen
Service
Service
Tools
Petri Nets World
UHH
>
MIN
>
Informatik
>
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.
[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.
[link]
Impressum
Letzte Änderung: 08:33 09.05.2019