CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Algorithms from theorems Tech Report
January 1990 -
Paramorphisms Tech Report
January 1990 -
January 1990 -
Loop checking and negation Tech Report
January 1990 -
January 1990
-
Term rewriting systems Tech Report
January 1990 -
January 1990 -
Transfinite reductions in orthogonal term rewriting systems Tech Report
J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)
January 1990