Revision history for entry Adamowicz, Zofia; Zbierski, Pawe: On complexity reduction of Σ1 formulas [ADAOCR]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2023-03-12T14:00:39 | update | System / admin update |
2020-02-03T14:50:15 | update | System / admin update |
2019-02-06T22:26:53 | update | System / admin update |
2017-02-27T03:17:18 | update | |
2017-02-12T00:34:51 | update | System / admin update |
2015-02-07T13:42:20 | update | System / admin update |
2014-01-24T09:12:54 | update | System / admin update |
2014-01-21T05:45:22 | update | System / admin update |
2013-11-23T23:43:32 | add | System / admin update |
loading ..