Publication
-
A predicate transformer to unification Tech Report
January 1992
-
Closed $G^ 1$-continuous cubic Bézier surfaces Tech Report
January 1992 -
Comparative transition system semantics Tech Report
January 1992
-
Turning SOS rules into equations Tech Report
January 1992
-
January 1992
-
Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report
January 1992
-
January 1992
-
Associative matching for linear terms Tech Report
January 1992