Revision history for entry Galatos, Nikolaos; Ono, Hiroakira: Algebraization, Parametrized Local Deductio.. [GALAPL-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-25T07:29:21updateSystem / admin update
2019-12-25T00:09:07updateSystem / admin update
2019-02-06T13:32:19updateSystem / admin update
2016-12-08T07:25:05updateSystem / admin update
2016-12-07T21:39:36update
2016-02-16T15:41:20updateSystem / admin update
2016-02-05T09:07:49updateSystem / admin update
2016-02-04T20:43:50addSystem / admin update