Revision history for entry Verbrugge, Rineke; Berarducci, Alessandro: On the provability logic of bounded.. [VEROTP-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-12-08T12:40:43update
2023-12-08T12:40:43update
2023-12-08T12:40:42updateLocal copy uploaded (view this copy)
2019-04-16T07:48:39updateSystem / admin update
2019-02-06T15:17:50updateSystem / admin update
2019-02-04T16:27:54update
2019-02-04T16:27:54update
2017-03-05T02:56:06update
2017-02-19T19:31:30updateSystem / admin update
2017-02-11T16:45:55updateSystem / admin update
2015-03-20T19:25:04updateSystem / admin update
2015-02-05T08:16:48updateSystem / admin update
2014-03-29T10:39:18updateSystem / admin update
2014-01-17T03:43:33updateSystem / admin update
2013-11-04T15:41:57updateSystem / admin update
2013-11-04T08:34:59addSystem / admin update