Where First-Order and Monadic Second-Order Logic Coincide

Michael Elberfeld, Martin Grohe, Till Tantau. Where First-Order and Monadic Second-Order Logic Coincide. ACM Trans. Comput. Log., 17(4):25, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.