Restarting Tree Automata

Formal Properties and Possible Variations

Stamer, Heiko

kassel university press, ISBN: 978-3-89958-634-3, 2009, 200 Seiten

URN: urn:nbn:de:0002-6358

Zugl.: Kassel, Univ., Diss. 2008

Inhalt: In the last years there was a growing effort to investigate language classes recognized by different variants of restarting automata. Moreover, tree automata have ained much attention in the computer science community, mainly due to their fruitful applications in abstract interpretation, automated theorem proving, logical reasoning, and program verification.

The subject of this book is a comprehensive study of a new tree automaton model - the so-called restarting tree automaton. The thesis explores the expressive power and the formal properties of this new model. Furthermore, some possible variations are considered.

Die Publikation ist in folgenden Formen erhältlich:

Volltext (pdf-Datei, nicht ausdruckbar - 1.33 MB)
PDF ansehen (view)
Volltext (pdf-Datei, ausdruckbar, kostenpflichtig - 1.33 MB) 10.00 Euro
(kostenfrei im Netz der Universität Kassel - Im Netz der Uni Kassel befinden Sie sich, wenn Sie z.B. an einem Rechner im ITS, Ihrem Arbeitsplatz an der Uni oder auch in der Multimediathek der Bibliothek befinden.)
PDF erwerben (download) - Achtung kostenpflichtig, da Sie sich zur Zeit nicht im Netz der Uni-Kassel befinden