Revision history for entry Lutz, Carsten; Walther, Dirk: PDL with negation of atomic programs [LUTPWN]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-04-13T01:28:49updateSystem / admin update
2022-10-25T06:53:07updateSystem / admin update
2020-04-24T15:47:18updateSystem / admin update
2020-02-06T02:47:55updateSystem / admin update
2019-04-28T13:39:16updateSystem / admin update
2019-02-06T23:57:11updateSystem / admin update
2019-01-26T21:20:33updateSystem / admin update
2015-03-20T07:51:09updateSystem / admin update
2014-03-09T03:44:37updateSystem / admin update
2013-11-24T09:50:47updateSystem / admin update
2013-11-01T16:35:49updateSystem / admin update
2013-10-31T13:30:14updateSystem / admin update
2013-10-31T02:56:01addSystem / admin update