CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Real time process algebra Tech Report
January 1990 -
January 1990 -
January 1990 -
An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems Tech Report
J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)
January 1990 -
Transfinite reductions in orthogonal term rewriting systems (extended abstract) Tech Report
J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)
January 1990 -
Determiners Tech Report
January 1990 -
Quantifiers Tech Report
January 1990 -
Introduction to program verification Tech Report
January 1990