July 2023 Archives by author

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

Starting: Fri Jul 7 16:29:10 CEST 2023
Ending: Fri Jul 7 16:29:10 CEST 2023
Messages: 1

• [Proof Complexity] a revision of a paper   Jan Krajicek

Last message date: Fri Jul 7 16:29:10 CEST 2023
Archived on: Fri Jul 7 16:29:33 CEST 2023

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