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

Proof rules and transformations dealing with fairness Article

Science of Computer Programming, 65-100.

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1983
Ten years of Hoare s logic, part II: nondeterminism Article

K.R. Apt (Krzysztof)

January 1983
The art of applying mathematics Article

Acta Applicandae Mathematicae, 1-3.

M. Hazewinkel (Michiel)

January 1983
Idiosyncratic remarks by a bibliomaniac Article

Acta Applicandae Mathematicae, 1(3), 315-318.

M. Hazewinkel (Michiel)

January 1983
Deterministic top-down and bottom-up parsing: historical notes and bibliographies Book

A. Nijholt

January 1983
A contribution to the nonexistence of perfect codes Book

M.R. Best (Marc)

January 1983
An axiomatization of the intermittent assertion method using temporal logic In Proceedings

K.R. Apt (Krzysztof) and C. Delporte

January 1983
Over wiskunde en informatica : betekenis en toekomst News Broadcast

M. Hazewinkel (Michiel)

January 1983

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