24 |
Monadic Second-Order Logic and Transitive Closure Logics over Trees
|
|
|
|
In: http://tcl.sfs.uni-tuebingen.de/~kepser/papers/wollic2006.pdf
|
|
BASE
|
|
Show details
|
|
25 |
Some Interdefinability Results for Syntactic Constraint Classes
|
|
|
|
In: http://tgraf.bol.ucla.edu/doc/papers/mol11.pdf
|
|
BASE
|
|
Show details
|
|
|
|