Revision history for entry Gabbay, Dov M.; Olivetti, Nicola: Algorithmic proof methods and cut eliminatio.. [GABAPM]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-24T18:29:39 | update | System / admin update |
2019-11-26T21:34:24 | update | System / admin update |
2019-02-06T21:34:57 | update | System / admin update |
2017-02-21T23:38:05 | update | System / admin update |
2016-02-12T04:04:24 | update | |
2015-02-06T05:01:54 | update | System / admin update |
2014-03-30T08:52:26 | update | System / admin update |
2013-12-02T01:46:52 | update | System / admin update |
2011-05-16T23:42:46 | update | |
2010-09-28T03:11:16 | update | System / admin update |
loading ..