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

Stable string languages of Lindenmayer systems : (prepublication) Tech Report

P.M.B. Vitányi (Paul) and A. Walker

January 1974
An extension of unification to substitutions with an application to automatic theorem proving : (prepublication) Tech Report

J.M. van Vaalen (Jophien)

January 1974
Least fixed points revisited : Prepublication Tech Report

J.W. de Bakker (Jaco)

January 1974
Chess, how to program the exceptions? Tech Report

C. Zuidema

January 1974
Recursion and parameter mechanisms: an axiomatic approach : (prepublication) Tech Report

W.P. de Roever

January 1974
Growth of strings in context dependent Lindenmayer systems : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

January 1974
On the size of DOL languages : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

January 1974
Aleph manual Tech Report

D. Grune (Dick), R. Bosch and L.G.L.T. Meertens (Lambert)

January 1974

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