Centrum Wiskunde & Informatica

Real-time Turing machines under varying specifications : (preprint) Tech Report

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

January 1980
Two-tape real-time computation : (preprint) Tech Report

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

January 1980
A survey of high level microprogramming languages : (preprint) Tech Report

H.J. Sint

January 1980
Relativized obliviousness : (preprint) Tech Report

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

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

Previous

Next