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