Publication
-
January 1994
-
Term rewriting properties of SOS axiomatisations Tech Report
January 1994 -
Outerjoins as disjunctions Tech Report
January 1994
-
January 1994
-
Logic programming and negation: a survey Tech Report
January 1994
-
Origin tracking in primitive recursive schemes Tech Report
January 1994
-
January 1994
-
January 1994