Centrum Wiskunde & Informatica

Communicating graphics : (preprint) Tech Report

P.J.W. ten Hagen (Paul)

January 1981
Two theorems about the completeness of Hoare's logic : (preprint) Tech Report

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

January 1981
The GKS reviewing process : (preprint) Tech Report

P.J.W. ten Hagen (Paul)

January 1981
On the existence of Cook semantics : (preprint) Tech Report

A. de Bruin (Arie)

January 1981
From VW-grammar to Aleph : (preprint) Tech Report

D. Grune (Dick)

January 1981
Issues in the design of a beginners' programming language : (preprint) Tech Report

L.G.L.T. Meertens (Lambert)

January 1981
Hoare's logic and Peano's arithmetic : (preprint) Tech Report

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

January 1981
Formal language definitions can be made practical : (preprint) Tech Report

P. Klint (Paul)

January 1981

Previous

Next