Revision history for entry ten Cate, Balder; van Eijck, Jan (unknown). "Expressivity of extensions of dynamic first-order logic" [TENEOE-2] |
| Time | Type | Notes |
| 2011-01-21T03:56:31 | add | System / admin update - |
Revision history for entry ten Cate, Balder; van Eijck, Jan (unknown). "Expressivity of extensions of dynamic first-order logic" [TENEOE-2] |
| Time | Type | Notes |
| 2011-01-21T03:56:31 | add | System / admin update - |