October 2020 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Oct 6 17:44:08 CEST 2020
Ending: Mon Oct 26 17:29:36 CET 2020
Messages: 4

• [Proof Complexity] my article The canonical pairs of bounded depth Frege systems   Pavel Pudlak
• [Proof Complexity] Fwd: Call for Postdocs 2020   Edward A. Hirsch
• [Proof Complexity] new paper   Ярослав Алексеев
• [Proof Complexity] 16th International Computer Science Symposium in Russia (CSR 2021): First Call for Papers   Alexander S. Kulikov

Last message date: Mon Oct 26 17:29:36 CET 2020
Archived on: Mon Oct 26 17:31:39 CET 2020

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...