Alex Spelten

Affiliations:

According to our database¹, Alex Spelten authored at least 3 papers between 2007 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Paths in infinite trees: logics and automata.

[BibT_eX]

[DOI]

PhD thesis, 2013

2011

Trees over Infinite Structures and Path Logics with Synchronization

[BibT_eX]

[DOI]

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

2007

Transition Graphs of Rewriting Systems over Unranked Trees.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007