Timeline for Is there good reference for proof complexity?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2017 at 15:58 | answer | added | Erfan Khaniki | timeline score: 14 | |
| Sep 10, 2017 at 15:53 | comment | added | Joseph O'Rourke | Perhap you could expand on what you mean by "proof complexity theory"? In the meantime, maybe this earlier MO question is relevant: Deep theorems and long proofs. In particular, see Joel Hamkins' references there. | |
| Sep 10, 2017 at 15:42 | comment | added | Martin Sleziak | Previously posted on math.SE (with no answers): Reference for proof complexity theory. | |
| Sep 10, 2017 at 15:41 | history | edited | Martin Sleziak | CC BY-SA 3.0 |
added 1 character in body; edited tags
|
| Sep 10, 2017 at 15:34 | history | asked | Hao Yu | CC BY-SA 3.0 |