Revision history for entry Galatos, Nikolaos; Ono, Hiroakira: Cut elimination and strong separation for s.. [GALCEA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-25T06:43:13updateSystem / admin update
2019-02-06T20:05:59updateSystem / admin update
2018-12-19T08:52:04updateSystem / admin update
2017-11-03T05:41:32updateSystem / admin update
2016-02-10T06:08:25update
2015-02-05T08:14:37updateSystem / admin update
2014-01-17T04:05:56updateSystem / admin update
2013-12-18T15:22:38updateSystem / admin update
2013-12-18T08:48:56updateSystem / admin update
2013-12-18T08:01:50addSystem / admin update