Proof Complexity (Dagstuhl Seminar 18051)

Albert Atserias, Jakob Nordström, Pavel Pudlák, Rahul Santhanam. Proof Complexity (Dagstuhl Seminar 18051). Dagstuhl Reports, 8(1):124-157, 2018. [doi]

No reviews for this publication, yet.