A Finite-Model-Theoretic View on Propositional Proof Complexity

Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt; Pakusa, Wied

(2018)
Preprint

Identifikationsnummern