CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
IDDL: a language for intelligent interactive integrated CAD systems Tech Report
P. J. Veerkamp (Paul), P. Bernus, P.J.W. ten Hagen (Paul) and V. Akman (Varol)
January 1990 -
Formal semantics Tech Report
January 1990 -
January 1990 -
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 -
January 1990