The Model-Theoretic Expressiveness of Propositional Proof Systems

Grädel, Erich (Corresponding author); Pago, Benedikt Thomas (Corresponding author); Pakusa, Wied (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2017)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer Science Logic 2017 : CSL 2017, August 20-24, 2017, Stockholm, Sweden / edited by Valentin Goranko, Mads Dam ; European Association for Computer Science Logic (EACSL)
Seite(n)/Artikel-Nr.: 27:1-27:18

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]