![](/img/cover-not-exists.png)
On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies
Carlucci, Lorenzo, Galesi, Nicola, Lauria, MassimoVolume:
17
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/2946801
Date:
September, 2016
File:
PDF, 322 KB
english, 2016