Paul Hermes About CV Notes Music Dancing Album

Tags

descriptive complexity 1 posts
NP 1 posts
second-order logic 1 posts

built with Zola

Impressum

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