Centrum Wiskunde & Informatica

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
Self-stabilization of wait-free shared memory objects In Proceedings

J.H. Hoepman (Jaap-Henk), M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1995

Previous

Next