Publications of Alexandra Spelten
All Publications
| [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 ] |