Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

2-D systems, an algebraic approach Book

R. Eising

January 1980
Reduction methods in nonlinear programming Book

G. van der Hoek

January 1980
Combinatory reduction systems Book

J.W. Klop (Jan Willem)

January 1980
Variable dimension fixed point algorithms and triangulations Book

A.J.J. Talman

January 1980
Simplicial fixed point algorithms Book

C.G. van der Laan

January 1980
ILP : intermediate language for pictures Book

P.J.W. ten Hagen (Paul), T. Hagen, P. Klint (Paul), H. Noot (Han), H.J. Sint and A.H. Veen (Arthur)

January 1980
Correctness preserving program refinements: proof theory and applications Book

R.J.R. Back (Ralph-Johan)

January 1980
The interval function of a graph Book

H.M. Mulder (Henry Martyn)

January 1980

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close