A Surprising Relationship Between Descriptive Complexity and Proof Complexity

Yijia Chen, Jörg Flum, Moritz Müller, The Logic in Computer Science Column by Yuri Gurevich

Abstract


A Surprising Relationship Between Descriptive Complexity and Proof Complexity

Full Text:

PDF

Refbacks

  • There are currently no refbacks.