Centrum Wiskunde & Informatica

The failure of failures in a paradigm for asynchronous communication Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1991
A sound and complete calculus for update logic Tech Report

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

January 1991
Quantification and partiality Tech Report

D.J.N. van Eijck (Jan)

January 1991
The dynamics of description Tech Report

D.J.N. van Eijck (Jan)

January 1991
On constructing kernel polynomials of a spectral function : application to ARMA models Tech Report

K.O. Dzhaparidze (Kacha)

January 1991
Open problems in rewriting Tech Report

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1991
Gaarding inequalities for systems of pseudo-differential operators Tech Report

R. Brummelhuis

January 1991
Infectious disease models with variable infectivity Tech Report

F. Brauer

January 1991

Previous

Next