university website 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
  • thumb

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

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

    January 1980
  • thumb

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

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

    January 1980
  • thumb

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

    H.J. Sint

    January 1980
  • thumb

    Relativized obliviousness : (preprint) Tech Report

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

    January 1980
  • thumb

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

    Semantics of unbounded nondeterminism : (preprint) Tech Report

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

    January 1980
  • thumb

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

    H.B.M. Jonkers

    January 1980
  • thumb

    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
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close