Centrum Wiskunde & Informatica

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