Where First-Order and Monadic Second-Order Logic Coincide
Elberfeld, Michael (Corresponding author); Grohe, Martin (Corresponding author); Tantau, Till (Corresponding author)
New York, NY : Association for Computing Machinery (2016)
Journal Article
In: ACM transactions on computational logic : TOCL
Volume: 17
Issue: 4
Page(s)/Article-Nr.: 25
Identifier
- DOI: 10.1145/2946799
- RWTH PUBLICATIONS: RWTH-2016-06802