Centrum Wiskunde & Informatica

Time and space complexity of inside-out macro languages : (preprint) Tech Report

P.R.J. Asveld

January 1980
The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
Semantics of unbounded nondeterminism : (preprint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
Deriving algorithms by adding and removing variables : (preprint) Tech Report

H.B.M. Jonkers

January 1980
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
On the power of real-time Turing machines under varying specifications; extended abstract : (preprint) Tech Report

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

January 1980
On bounds for the specification of finite data types by means of equations and conditional equations : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
Computing in algebraic systems : (preprint) Tech Report

J.V. Tucker (John)

January 1980

Previous

Next