A Finite-Model-Theoretic View on Propositional Proof Complexity
Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt Thomas; Pakusa, Wied
(2018)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-2018-221672
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt Thomas; Pakusa, Wied
(2018)
Preprint