Where first-order and monadic second-order logic coincide

Michael Elberfeld, Martin Grohe, Till Tantau

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Where first-order and monadic second-order logic coincide'. Together they form a unique fingerprint.

Mathematics