Revision history for entry ten Cate, Balder; van Eijck, Jan (unknown). "Expressivity of extensions of dynamic first-order logic" [TENEOE-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-01-21T03:56:31addSystem / admin update -