Revision history for entry Kohlenbach, Ulrich: On the no-counterexample interpretation [KOHOTN]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-05-10T13:33:21 | update | System / admin update |
2016-06-30T12:29:07 | update | System / admin update |
2016-02-11T12:24:11 | update | |
2015-02-05T06:51:43 | update | System / admin update |
2014-03-28T11:11:38 | update | System / admin update |
2013-11-22T12:09:58 | update | System / admin update |
2013-11-04T09:21:31 | update | System / admin update |
loading ..