Where First-Order and Monadic Second-Order Logic Coincide

Michael Elberfeld, Martin Grohe, Till Tantau

Fingerprint

Untersuchen Sie die Forschungsthemen von „Where First-Order and Monadic Second-Order Logic Coincide“. Zusammen bilden sie einen einzigartigen Fingerprint.

Mathematik