A Finite-Model-Theoretic View on Propositional Proof Complexity
Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt; Pakusa, Wied
(2018) [Preprint]
Page(s): 53 Seiten
Identifier
- REPORT NUMBER: RWTH-2018-221672
Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt; Pakusa, Wied
(2018) [Preprint]
Page(s): 53 Seiten