h1

h2

h3

h4

h5
h6
TY  - EJOUR
AU  - Pago, Benedikt Thomas
TI  - Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
M1  - RWTH-2023-03530
PY  - 2022
LB  - PUB:(DE-HGF)25
UR  - https://publications.rwth-aachen.de/record/955507
ER  -