Revision history for entry Guelev, Dimitar P.; Van Hung, Dang: A Relatively Complete Axiomatisation of Pr.. [GUEARC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-25T07:55:55updateSystem / admin update
2020-04-22T13:10:44updateSystem / admin update
2020-04-22T13:08:03updateSystem / admin update
2019-02-06T14:05:25updateSystem / admin update
2019-01-27T04:03:50updateSystem / admin update
2017-02-26T22:32:02update
2017-02-13T17:13:03updateSystem / admin update
2017-01-26T08:21:18update
2017-01-25T23:42:46updateSystem / admin update
2014-03-12T04:56:31updateSystem / admin update
2014-01-24T13:16:03updateSystem / admin update
2014-01-22T04:26:31updateSystem / admin update
2014-01-21T21:42:40addSystem / admin update