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

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-11-22T01:50:08updateSystem / admin update -
2010-11-21T01:50:10addSystem / admin update -