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.
Time | Type | Notes |
2023-12-08T12:40:43 | update | |
2023-12-08T12:40:43 | update | |
2023-12-08T12:40:42 | update | Local copy uploaded (view this copy) |
2019-04-16T07:48:39 | update | System / admin update |
2019-02-06T15:17:50 | update | System / admin update |
2019-02-04T16:27:54 | update | |
2019-02-04T16:27:54 | update | |
2017-03-05T02:56:06 | update | |
2017-02-19T19:31:30 | update | System / admin update |
2017-02-11T16:45:55 | update | System / admin update |
2015-03-20T19:25:04 | update | System / admin update |
2015-02-05T08:16:48 | update | System / admin update |
2014-03-29T10:39:18 | update | System / admin update |
2014-01-17T03:43:33 | update | System / admin update |
2013-11-04T15:41:57 | update | System / admin update |
2013-11-04T08:34:59 | add | System / admin update |
loading ..