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

Towards shorter algebraic specifications: a simple language definition and its compilation to PROLOG Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1988
Some observations on redundancy in a context Tech Report

F.W. Vaandrager (Frits)

January 1988
State representations of linear systems with output constraints Tech Report

J.M. Schumacher (Hans)

January 1988
Multigrid and defect correction for the steady Navier-Stokes equations Tech Report

B. Koren (Barry)

January 1988
The use of smoothing techniques in the method of lines Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1988
Arithmetic classification of perfect models of stratified programs Tech Report

K.R. Apt (Krzysztof) and H.A. Blair

January 1988
Uniform asymptotic expansions of a class of integrals in terms of modified Bessel functions, with application to confluent hypergeometric functions Tech Report

N.M. Temme (Nico)

January 1988
Functional dependencies of variables in wait-free programs Tech Report

E. Kranakis (Evangelos)

January 1988

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