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