The Model-Theoretic Expressiveness of Propositional Proof Systems

(2017) [Beitrag zu einem Tagungsband]

[26th EACSL Annual Conference on Computer Science Logic, CSL 2017, 2017-08-20 - 2017-08-24, Stockholm, Sweden]
Seite(n): 1-19

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Pago, Benedikt
Pakusa, Wied

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-06852