Alex Spelten

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Alex Spelten, Wolfgang Thomas, Sarah Winter
Trees over Infinite Structures and Path Logics with Synchronization INFINITY (2011)
Christof Löding, Alex Spelten
Transition Graphs of Rewriting Systems over Unranked Trees. MFCS (2007)