Centrum Wiskunde & Informatica

Rigorous high speed separation of zeros of Riemann's zeta function, 2 Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

January 1982
Deciding equivalence of functional schemes for parallel programs : (preprint) Tech Report

Y.P. Korablin

January 1982
Fairness assumptions for CSP in a temporal logic framework : Preprint Tech Report

R. Kuiper and W.P. de Roever

January 1982
Conditional rewrite rules; confluency and termination : Preprint Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1982
Efficient simulations of multicounter machines (preliminary version) : (preprint) Tech Report

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

January 1982
On infinite computations in denotational semantics : (preprint) Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and J.I. Zucker

January 1982
Factoring polynomials with rational coefficients : (preprint) Tech Report

A.K. Lenstra (Arjen), H.W. Lenstra (Hendrik) and L. Lovász (László)

January 1982
Formal proof systems for program equivalence : (preprint) Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1982

Previous

Next