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

PREMO : a case study in formal methods and multimedia system specification Tech Report

D.A. Duce, D.J. Duke, G. Faconti, I. Herman (Ivan) and M. Massink

January 1997
Equations as a framework for partial evaluation and abstract interpretation Tech Report

J. Field, J. Heering (Jan) and T.B. Dinesh

January 1997
Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite systems Tech Report

W.J. Fokkink (Wan), J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

January 1997
Size distributions in stochastic geometry Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1997
Hypothetical-reasoning and radical non-constituent coordination in categorical logic Tech Report

N. Francez

January 1997
On the direction of fibring feature logics with concatenation logics Tech Report

N. Francez

January 1997
Analysis of oil lens removal by extraction through a seepage face Tech Report

M.I.J. van Dijke and S.E.A.T.M. van der Zee

January 1997
Brine transport in porous media Tech Report

C.J. van Duijn (Hans) and R.J. Schotting (Ruud)

January 1997

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