Publikationen von Alexandra Spelten

Alle Publikationen

[STW11] Alex Spelten, Wolfgang Thomas, and Sarah Winter. Trees over infinite structures and path logics with synchronization. In Fang Yu and Chao Wang, editors, Proceedings of the 13th International Workshop on Verification of Infinite-State Systems, volume 73 of EPTCS, pages 20-34, 2011.
[ pdf | Abstract ]
[LS07] Christof Löding and Alex Spelten. Transition Graphs of Rewriting Systems over Unranked Trees. In Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, volume 4708 of Lecture Notes in Computer Science, pages 67-77. Springer, 2007. Full version (with appendix). A preliminary version is accepted at the international conference AutoMathA 2007, Automata: from Mathematics to Applications, Palermo, Italy. (c) Springer.
[ pdf | ps | Abstract ]
[Spe06] A. Spelten. Rewriting Systems over Unranked Trees. Diplomarbeit, RWTH Aachen, 2006.
[ pdf | ps | Abstract ]