Revision history for entry McColm, Gregory: Guarded quantification in least fixed point logic [MCCGQI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-10T20:10:41updateSystem / admin update
2019-12-31T22:29:34updateSystem / admin update
2019-12-24T23:20:51updateSystem / admin update
2019-02-07T01:43:38updateSystem / admin update
2015-03-17T08:42:00updateSystem / admin update
2014-03-22T04:39:08updateSystem / admin update
2013-11-22T10:32:34updateSystem / admin update
2013-11-04T10:30:13updateSystem / admin update
2013-11-01T16:45:53updateSystem / admin update
2010-10-02T05:37:44updateSystem / admin update