December 2024 Archives by thread

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

Starting: Fri Dec 20 11:11:19 CET 2024
Ending: Fri Dec 20 11:11:19 CET 2024
Messages: 1

• [Proof Complexity] Update to preprint   Mykyta Narusevych

Last message date: Fri Dec 20 11:11:19 CET 2024
Archived on: Fri Dec 20 11:11:29 CET 2024

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