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.
Time | Type | Notes |
2019-12-31T23:07:28 | update | System / admin update |
2019-06-07T20:00:01 | update | System / admin update |
2015-02-06T05:06:32 | update | System / admin update |
2013-12-02T01:44:42 | update | System / admin update |
2013-01-15T20:41:56 | update | System / admin update |
2012-02-20T22:33:20 | update | |
2012-01-08T19:56:29 | update | |
2011-02-21T17:14:53 | update | |
loading ..