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

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

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