Centrum Wiskunde & Informatica

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
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

Previous

Next