Revision history for entry Avron, Arnon; Konikowska, Beata: Decomposition proof systems for gödel-Dummett.. [AVRDPS]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2020-01-01T00:02:22 | update | System / admin update |
2019-12-31T21:50:00 | update | System / admin update |
2019-02-05T18:49:59 | update | System / admin update |
2017-02-21T23:38:43 | update | System / admin update |
2015-02-06T05:02:06 | update | System / admin update |
2014-03-26T07:43:09 | update | System / admin update |
2013-12-02T01:47:19 | update | System / admin update |
2011-03-03T21:27:24 | update | |
2010-09-28T11:28:57 | update | System / admin update |
loading ..