Revision history for entry Seki, Takahiro: Metacompleteness of Substructural Logics [SEKMOS]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2020-02-03T20:42:19 | update | System / admin update |
2019-12-24T21:34:37 | update | System / admin update |
2019-02-06T20:44:19 | update | System / admin update |
2016-02-12T04:06:11 | update | |
2015-03-19T20:36:51 | update | System / admin update |
2013-12-02T01:49:39 | update | System / admin update |
2013-03-10T08:17:08 | update | System / admin update |
2012-11-30T20:40:50 | update | System / admin update |
2012-11-30T20:40:50 | update | System / admin update |
2012-11-30T20:40:50 | update | System / admin update |
2012-10-21T07:10:05 | update | System / admin update |
2012-10-20T19:40:35 | add | System / admin update |
loading ..