Centrum Wiskunde & Informatica

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
Real-time simulation of multicounters by oblivious one-tape Turing machines : (preprint) Tech Report

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

January 1982
Dynamic networks of parallel processes : (preprint) Tech Report

A. P. W. Böhm (Anton) and A. de Bruin (Arie)

January 1982
Structured text formatting : (preprint) Tech Report

H. Noot (Han)

January 1982

Previous

Next