Revision history for entry Aghaei, Mojtaba; Ardeshir, Mohammad: A Gentzen-style axiomatization for basic .. [AGHAGA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-02-05T12:51:54updateSystem / admin update
2015-03-21T19:33:45updateSystem / admin update
2015-02-07T13:41:48updateSystem / admin update
2014-01-21T05:45:06updateSystem / admin update
2013-11-23T23:43:35addSystem / admin update