Revision history for entry Rosati, Riccardo: A sound and complete tableau calculus for reasoning about on.. [ROSASA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-28T06:42:57updateSystem / admin update
2019-12-31T18:43:27updateSystem / admin update
2019-02-07T02:26:34updateSystem / admin update
2017-02-21T23:38:41updateSystem / admin update
2017-01-19T00:51:01updateSystem / admin update
2015-02-06T05:02:05updateSystem / admin update
2014-03-26T07:44:39updateSystem / admin update
2013-12-02T01:47:23updateSystem / admin update
2010-09-28T11:25:04updateSystem / admin update