Revision history for entry Seki, Takahiro: Metacompleteness of Substructural Logics [SEKMOS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-02-03T20:42:19updateSystem / admin update
2019-12-24T21:34:37updateSystem / admin update
2019-02-06T20:44:19updateSystem / admin update
2016-02-12T04:06:11update
2015-03-19T20:36:51updateSystem / admin update
2013-12-02T01:49:39updateSystem / admin update
2013-03-10T08:17:08updateSystem / admin update
2012-11-30T20:40:50updateSystem / admin update
2012-11-30T20:40:50updateSystem / admin update
2012-11-30T20:40:50updateSystem / admin update
2012-10-21T07:10:05updateSystem / admin update
2012-10-20T19:40:35addSystem / admin update