A Finite-Model-Theoretic View on Propositional Proof Complexity
(2018) [Preprint]
Page(s): 53 Seiten
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]
Page(s): 53 Seiten
Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied