Centrum Wiskunde & Informatica

On generic representation of implicit induction procedures Tech Report

D. Naidich

January 1996
On monotone function closure of perfect and statistical zero-knowledge Tech Report

I.B. Damgård (Ivan) and R.J.F. Cramer (Ronald)

January 1996
Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Tech Report

N.M. Temme (Nico)

January 1996
Tackling the Dagstuhl '94 specification problem with I/O automata Tech Report

J.M.T. Romijn (Judi)

January 1996
Ambiguity and reasoning Tech Report

D.J.N. van Eijck (Jan) and J.O.M. Jaspars

January 1996
Limiting profiles in reactive solute transport Tech Report

C.J. van Duijn (Hans), R.E. Grundy and C.N. Dawson

January 1996
Trapezoidal and midpoint splittings for initial-boundary value problems Tech Report

W. Hundsdorfer (Willem)

January 1996
Representing discourse in context Tech Report

D.J.N. van Eijck (Jan) and H. Kamp

January 1996

Previous

Next