A Finite-Model-Theoretic View on Propositional Proof Complexity

(2018) [Preprint]

Page(s): 53 Seiten

Authors

Authors

Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied

Identifier

  • REPORT NUMBER: RWTH-2018-221672

Sources