Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus

Pago, Benedikt Thomas (Corresponding author)

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Seite(n)/Artikel-Nr.: 31:1-31:19

Einrichtungen

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