Revision history for entry Takahashi, Yuta; Takemura, Ryo: Completeness of Second-Order Intuitionistic Pr.. [TAKCOS-3]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-09-07T10:26:01 | update | |
2022-09-07T10:25:56 | update | |
2020-02-03T19:24:58 | update | System / admin update |
2019-05-23T15:50:57 | update | System / admin update |
2019-02-06T18:22:49 | update | System / admin update |
2018-09-15T14:26:23 | update | System / admin update |
2018-09-15T14:19:39 | add | System / admin update |
loading ..