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

Fixed point semantics and Dijkstra's fundamental invariance theorem Tech Report

J.W. de Bakker (Jaco)

January 1975
Call-by-value versus call-by-name: a proof-theoretic comparison : (prepublication) Tech Report

W.P. de Roever

January 1975
Deterministically recognizing EOL-languages in time $0(n^{3.81} )$ Tech Report

J. van Leeuwen (Jan)

January 1975
Infal, an informatics library Tech Report

January 1975
Syllabus cursus Algol 68 : (herz. uitg) Tech Report

L. Ammeraal

January 1975
On the stability of products of stochastic matrices : (prepublication) Tech Report

J.M. Anthonisse and H.C. Tijms (Henk)

January 1975
On the existence of discounted and average return equilibrium policies in n-person stochastic games : (prepublication) Tech Report

A. Federgruen, O.J. Vrieze and G.L. Wanrooij

January 1975
Optimal sequencing of jobs subject to series parallel precedence constraints Tech Report

E.L. Lawler

January 1975

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