Revision history for entry Reynolds, Mark: Axiomatisation and decidability off andp in cyclical time [REYAAD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-02T09:22:16update
2019-12-06T16:57:56updateSystem / admin update
2019-11-26T16:57:01updateSystem / admin update
2019-02-06T16:34:44updateSystem / admin update
2017-01-19T00:34:21updateSystem / admin update
2015-02-06T03:20:09updateSystem / admin update
2014-04-04T00:41:02updateSystem / admin update
2013-11-22T11:24:01updateSystem / admin update
2013-01-22T20:50:58updateSystem / admin update
2013-01-22T20:50:58updateSystem / admin update