CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1988 -
An exact incremental hidden surface removal algorithm Tech Report
A.A.M. Kuijk (Fons), P.J.W. ten Hagen (Paul) and V. Akman (Varol)
January 1988 -
January 1988 -
January 1988 -
Term rewriting systems with rule priorities Tech Report
J.C.M. Baeten (Jos), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and W.P. Weijland
January 1988 -
Towards shorter algebraic specifications: a simple language definition and its compilation to PROLOG Tech Report
January 1988 -
January 1988 -
January 1988