Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

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
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

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close