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.
TimeTypeNotes
2022-10-25T08:10:43updateSystem / admin update
2022-10-04T07:33:41updateSystem / admin update
2019-04-28T07:47:14updateSystem / admin update
2019-02-27T08:49:40updateSystem / admin update
2019-02-06T21:27:42updateSystem / admin update
2017-01-25T17:55:22updateSystem / admin update
2014-03-21T12:53:28updateSystem / admin update
2014-01-17T04:24:21updateSystem / admin update
2014-01-17T03:33:43addSystem / admin update