[Proof Complexity] my article The canonical pairs of bounded depth Frege systems

Pavel Pudlak pudlak at math.cas.cz
Tue Oct 6 17:44:08 CEST 2020

Next message: [Proof Complexity] Fwd: Call for Postdocs 2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

can be now freely downloaded from Elsevier

https://authors.elsevier.com/a/1bsULcCqwhure

This will only be possible until November 25.

Pavel Pudlak

Next message: [Proof Complexity] Fwd: Call for Postdocs 2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Proof-Complexity mailing list