The Model-Theoretic Expressiveness ofPropositional Proof Systems

(2017) [Beitrag zu einem Tagungsband]

26th EACSL Annual Conference on Computer Science Logic

Authors

Selected Authors

Grädel, Erich
Pago, Benedikt
Pakusa, Wied

Identifier

  • REPORT NUMBER: RWTH-2017-06852