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.
Time | Type | Notes |
2022-12-10T20:10:41 | update | System / admin update |
2019-12-31T22:29:34 | update | System / admin update |
2019-12-24T23:20:51 | update | System / admin update |
2019-02-07T01:43:38 | update | System / admin update |
2015-03-17T08:42:00 | update | System / admin update |
2014-03-22T04:39:08 | update | System / admin update |
2013-11-22T10:32:34 | update | System / admin update |
2013-11-04T10:30:13 | update | System / admin update |
2013-11-01T16:45:53 | update | System / admin update |
2010-10-02T05:37:44 | update | System / admin update |
loading ..