A Finite-Model-Theoretic View on Propositional Proof Complexity

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

(2018)
Preprint

Einrichtungen

  • Fachgruppe Mathematik [110000]
  • Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]

Identifikationsnummern

Verwandte Publikationen