Centrum Wiskunde & Informatica

Lazy scanner generation for modular regular grammars Tech Report

P. Klint (Paul)

January 1991
Fast theorem proving in intuitionistic propositional logic Tech Report

M.I. Kanovich

January 1991
Analysis of parallel diagonal-implicit iteration of Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1991
On solving the diophantine equation $ x^ 3 + y^ 3 + z^ 3 = k $ on a vector computer Tech Report

D.R. Heath-Brown, W.M. Lioen (Walter) and H.J.J. te Riele (Herman)

January 1991
Texture synthesis Tech Report

M. Haindl

January 1991
Proof theory for $ mu $ -CRL Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1991
Undecidable equivalences for basic process algebra Tech Report

J.F. Groote (Jan Friso) and H. Hüttel

January 1991
A short proof of the decidability of bisimulation fro normed BPA-processes Tech Report

J.F. Groote (Jan Friso)

January 1991

Previous

Next