Revision history for entry Adamson, Alan; Giles, Robin: A game-based formal system for ł∞ [ADAAGF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-12-31T23:07:28updateSystem / admin update
2019-06-07T20:00:01updateSystem / admin update
2015-02-06T05:06:32updateSystem / admin update
2013-12-02T01:44:42updateSystem / admin update
2013-01-15T20:41:56updateSystem / admin update
2012-02-20T22:33:20update
2012-01-08T19:56:29update
2011-02-21T17:14:53update