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

Analysis of the implicit Euler local uniform grid refinement method Tech Report

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1990
Studies in pure PROLOG : termination Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

January 1990
Upper and lower bounds on switching energy in VLSI Tech Report

G. Kissin

January 1990
The $ gamma $ -neighborhood graph Tech Report

R.C. Veltkamp (Remco)

January 1990
Metric pomset semantics for a concurrent language with recursion Tech Report

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

January 1990
On the role of delegation and inheritance in object-oriented database systems Tech Report

D.B.M. Otten (Daan) and P.J.W. ten Hagen (Paul)

January 1990
Process algebra with zero object Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1990
Resolution and logical consequences Tech Report

L. Kossen

January 1990

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