Centrum Wiskunde & Informatica

Decidability of bisimulation equivalence for processes generating context-free languages Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1986
On simple moving grid methods for one-dimensional evolutionary partial differential equations Tech Report

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1986
Table of amicable pairs between $ 10^ 10 and 10^ 52 $ Tech Report

H.J.J. te Riele (Herman), W. Borho, S. Battiato, H. Hoffmann and E.J. Lee

January 1986
The parallel complexity of TSP heuristics Tech Report

G.A.P. Kindervater (Gerard) and A.K. Lenstra (Arjen)

January 1986
Towards an object-centered database language Tech Report

M.L. Kersten (Martin) and F.H. Schippers

January 1986
Stability and convergence in the PDE/stiff ODE interphase Tech Report

J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1986
Using the guardian programming paradigm to support database evolution Tech Report

M.L. Kersten (Martin) and F.H. Schippers

January 1986
Non-sequential computation and laws of nature Tech Report

P.M.B. Vitányi (Paul)

January 1986

Previous

Next