Centrum Wiskunde & Informatica

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
Learnability of Kolmogorov-easy circuit expressions via queries In Proceedings

J. Balcázar, H.M. Buhrman (Harry) and M. Hermo

January 1995
Comparing negation in logic programming and in Prolog Book Chapter

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1995
Asymptotics of a time correlation function in multiple recurrent scattering of scalar waves Article

ZAMP: Zeitschrift für angewandte Mathematik und Physik, 46(1), 61-69.

N.M. Temme (Nico), F. Vitalis, B.A. van Tiggelen and A. Lagendijk (Ad)

January 1995
An Oda/Dexter Hyperdocument System with Automated Link Definition In Proceedings

M. Worring (Marcel), R. Buitenhuis and A.W.M. Smeulders (Arnold)

January 1995

Previous

Next