Revision history for entry Buss, Samuel R.: Bounded arithmetic, proof complexity and two papers of Parikh [BUSBAP]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-10-25T08:10:43 | update | System / admin update |
2022-10-04T07:33:41 | update | System / admin update |
2019-04-28T07:47:14 | update | System / admin update |
2019-02-27T08:49:40 | update | System / admin update |
2019-02-06T21:27:42 | update | System / admin update |
2017-01-25T17:55:22 | update | System / admin update |
2014-03-21T12:53:28 | update | System / admin update |
2014-01-17T04:24:21 | update | System / admin update |
2014-01-17T03:33:43 | add | System / admin update |
loading ..