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

A strategy for dynamic interpretation: a fragment and an implementation Tech Report

O. Bouchez, D.J.N. van Eijck (Jan) and O. Istace

January 1993
Modular termination proofs for logic and pure Prolog programs Tech Report

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

January 1993
On the ergodicity conditions of the hitting point process of the semi-homogeneous, zero-drift random walk on the first quadrant Tech Report

J.W. Cohen

January 1993
Continuity of singular perturbations in the graph topology Tech Report

J. de Does (Jesse) and J.M. Schumacher (Hans)

January 1993
Local uniform grid refinement and system of coupled partial differential equations Tech Report

R.A. Trompert (Ronald)

January 1993
Comparing quasi-Newton methods for solving sparse interface problems Tech Report

C.-H. Lai

January 1993
An efficient off-line electronic cash system based on the representation problem Tech Report

S.A. Brands (Stefan)

January 1993
Modal logic, transition systems and processes Tech Report

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and V.N. Stebletsova (Vera)

January 1993

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