Publication
-
January 1998
-
Circular drawings of rooted trees Tech Report
January 1998
-
January 1998
-
A new cluster algorithm for graphs Tech Report
January 1998
-
January 1998
-
Axiomatising dynamic logics for anaphora Tech Report
January 1998
-
Incremental dynamics Tech Report
January 1998
-
Programming with dynamic predicate logic Tech Report
January 1998