Where First-Order and Monadic Second-Order Logic Coincide

New York, NY / Association for Computing Machinery (2016) [Journal Article]

ACM transactions on computational logic : TOCL
Volume: 17
Issue: 4
Page(s): 25

Authors

Selected Authors

Elberfeld, Michael
Grohe, Martin
Tantau, Till

Identifier

Sources