CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1977 -
January 1977 -
Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report
January 1977 -
January 1977 -
January 1977 -
January 1977 -
Semantics and proof theory of Pascal procedures Tech Report
January 1977 -
Linear time simulation of multihead Turing machines with head-to-head jumps : (preprint) Tech Report
January 1977