Centrum Wiskunde & Informatica

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

Control of a random walk with noisy delayed information Article

Systems & Control Letters, 24(3), 207-213.

E. Altman and G.M. Koole (Ger)

January 1995

On the morphology of $gamma$-expansions with deleted digits Article

Transactions of the American Mathematical Society, 955-966.

M.S. Keane, M. Smorodinsky and B. Solomyak

January 1995

Subtypes and bounded quantification from a fibred perspective In Proceedings

B.P.F. Jacobs

January 1995

Using autoreducibility to separate complexity classes In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and L. Torenvliet (Leen)

January 1995

Solutions of functorial and non-functorial metric domain equations In Proceedings

F. Alessi, P. Baldan, G. Bellè and J.J.M.M. Rutten (Jan)

January 1995

CWI Institutional Repository

A triangle inequality for covariances of binary FKG random variables Article

A positive finite-difference advection scheme Article

Reasoning about update logic Article

Control of a random walk with noisy delayed information Article

On the morphology of $gamma$-expansions with deleted digits Article

Subtypes and bounded quantification from a fibred perspective In Proceedings

Using autoreducibility to separate complexity classes In Proceedings

Solutions of functorial and non-functorial metric domain equations In Proceedings

Address

CWI researchers

Questions or comments?

CWI Institutional Repository

A triangle inequality for covariances of binary FKG random variables Article

A positive finite-difference advection scheme Article

Reasoning about update logic Article

Control of a random walk with noisy delayed information Article

On the morphology of $gamma$-expansions with deleted digits Article

Subtypes and bounded quantification from a fibred perspective In Proceedings

Using autoreducibility to separate complexity classes In Proceedings

Solutions of functorial and non-functorial metric domain equations In Proceedings

Workflow

Workflow

Add Content