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

Mehr Informationen
Referenzen
Diskussion
Dateien

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

Main document Datei(en):

Ähnliche Datensätze

h1

h2

h3

h4

h5

h6

RWTH

Kontakt

RWTH Publications

Allgemeines