Publications by Year

sign in

Series

Stichting Mathematisch Centrum. Informatica

Collection

Collection

Published by Stichting Mathematisch Centrum

A file system for multi-sequential files Tech Report

H.W. Roos Lindgreen

January 1973
Remarks on the transput section of the revised report on Algol 68 Tech Report

D. Grune (Dick), L.G.L.T. Meertens (Lambert), J.C. van Vliet (Hans) and R. van Vliet

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
Pdp8-programming, 1 : the KV8/I storage scope and H306 joystick Tech Report

A.E. Brouwer (Andries) and C.L. Pippel

January 1974
Aleph manual Tech Report

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

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

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

January 1974
Genetics of reproducing automata : (prepublication) Tech Report

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

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

W.P. de Roever

January 1974

Previous

Refine Publication List

Export Citations

AAA Style
APA Style
Cell Style
Chicago Style
Harvard Style
IEEE Style
MLA Style
Nature Style
Vancouver Style
American-Institute-of-Physics Style
Council-of-Science-Editors Style
BibTex Format
Endnote Format
RIS Format
CSL Format
DOIs only

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