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

Inform: prototype van een interactieve formuleverwerker [Inform: prototype of an interactive system for formula processing] Tech Report

S. van Egmond and F.C. Heeman

January 1986
Algebraic specifications of computable and semicomputable datatypes Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1986
Module algebra Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

January 1986
PROLOG: an expert system building tool Tech Report

L.C. van der Gaag

January 1986
Lower bounds for a class of Kostka numbers Tech Report

J.W. Klop (Jan Willem) and E. Kranakis (Evangelos)

January 1986
Knowledge representation and inference in rule-based systems Tech Report

P.J.F. Lucas

January 1986
Transformations of linear systems under external equivalence Tech Report

J.M. Schumacher (Hans)

January 1986
Queueing analysis of a virtual circuit in a computer communication network with window flow control Tech Report

J.L. van den Berg (Hans)

January 1986

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