Revision history for entry Sasaki, Katsumi: A cut-free sequent system for the smallest interpretability l.. [SASACS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-12-24T23:41:34updateSystem / admin update
2019-12-24T23:17:06updateSystem / admin update
2019-02-06T17:42:24updateSystem / admin update
2017-02-21T23:36:13updateSystem / admin update
2016-02-13T06:30:38update
2015-02-06T04:59:59updateSystem / admin update
2014-03-25T01:44:15updateSystem / admin update
2013-12-02T01:47:36updateSystem / admin update
2010-09-28T11:29:52updateSystem / admin update