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

On normalisation Tech Report

F. van Raamsdonk (Femke) and P. Severi

January 1995
Completing partial combinatory algebras with unique head-normal forms Tech Report

I. Bethke, J.W. Klop (Jan Willem) and R. de Vrijer

January 1995
Arrays, bounded quantification and iteration in logic and constraint logic programming Tech Report

K.R. Apt (Krzysztof)

January 1995
An effective axiomatization for real time ACP Tech Report

W.J. Fokkink (Wan) and A.S. Klusener (Steven)

January 1995
X Python reference manual Tech Report

K.S. Mullender (Sjoerd)

January 1995
A methodology for proving termination of general logic programs Tech Report

E. Marchiori

January 1995
A data model for autonomous objects Tech Report

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

January 1995
Multimedia synchronization Tech Report

M. Haindl

January 1995

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