A Finite-Model-Theoretic View on Propositional Proof Complexity
(2018) [Preprint]
Authors
Selected Authors
Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied
Identifier
- REPORT NUMBER: RWTH-2018-221672
Skip to Content Jump to Main Navigation Skip to Search
(2018) [Preprint]
Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied