Centrum Wiskunde & Informatica

Deformations of vector fields and Hamiltonian vector fields on the plane Article

Mathematics of Computation, 64(211), 1215-1226.

N.W. van den Hijligenberg, Y.Y. Kotchetkov (Youri) and G. Post

January 1995
On the estimation of the parameters for the Littlewood model in software reliability Article

Statistica Neerlandica, 49(2), 165-184.

L.G. Barendregt and M.C. J. van Pul (Mark)

January 1995
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Article

Studia Logica, 61-78.

M. de Rijke (Maarten) and Y. Venema

January 1995
A new approach to formal language theory by Kolmogorov complexity Article

SIAM Journal on Computing, 24(2), 398-410.

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1995
Incidence and lattice calculus with applications to stochastic geometry and image analysis Article

Applicable Algebra in Engineering, Communication and Computing, 6(3), 129-146.

A.J. Baddeley (Adrian) and H.J.A.M. Heijmans (Henk)

January 1995
A triangle inequality for covariances of binary FKG random variables Article

Annals of Applied Probability, 5(1), 322-326.

J. van den Berg (Rob) and A. Gandolfi

January 1995
A positive finite-difference advection scheme Article

Journal of Computational Physics, 117(1), 35-46.

W. Hundsdorfer (Willem), B. Koren (Barry), M. van Loon (Martin) and J.G. Verwer (Jan)

January 1995
Reasoning about update logic Article

Journal of Philosophical Logic, 24(1), 19-45.

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1995

Publication

Deformations of vector fields and Hamiltonian vector fields on the plane Article

On the estimation of the parameters for the Littlewood model in software reliability Article

Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Article

A new approach to formal language theory by Kolmogorov complexity Article

Incidence and lattice calculus with applications to stochastic geometry and image analysis Article

A triangle inequality for covariances of binary FKG random variables Article

A positive finite-difference advection scheme Article

Reasoning about update logic Article

Address

CWI researchers

Questions or comments?

Publication

Deformations of vector fields and Hamiltonian vector fields on the plane Article

On the estimation of the parameters for the Littlewood model in software reliability Article

Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Article

A new approach to formal language theory by Kolmogorov complexity Article

Incidence and lattice calculus with applications to stochastic geometry and image analysis Article

A triangle inequality for covariances of binary FKG random variables Article

A positive finite-difference advection scheme Article

Reasoning about update logic Article

Workflow

Workflow

Add Content