Part of the Computer Sciences Commons

Works by Stephan Kepser in Computer Sciences

2009

Monadic Second-Order Logic and Transitive Closure Logics Over Trees, Hans Joerg Tiede, Stephan Kepser
Hans Joerg Tiede

Link