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.
TimeTypeNotes
2023-03-12T14:00:39updateSystem / admin update
2020-02-03T14:50:15updateSystem / admin update
2019-02-06T22:26:53updateSystem / admin update
2017-02-27T03:17:18update
2017-02-12T00:34:51updateSystem / admin update
2015-02-07T13:42:20updateSystem / admin update
2014-01-24T09:12:54updateSystem / admin update
2014-01-21T05:45:22updateSystem / admin update
2013-11-23T23:43:32addSystem / admin update