Part of the Physical Sciences and Mathematics Commons
Monadic Second-Order Logic and Transitive Closure Logics Over Trees, Hans Joerg Tiede, Stephan Kepser Hans Joerg Tiede
Link
Advanced Search
