Paul Hermes About CV Notes Music Dancing Album

Tag: descriptive complexity

Fagin's Theorem: NP and Existential Second-Order Logic 2024-03-01

built with Zola

Impressum

∃R (MSO[R] = NP) — Fagin, 1974