Centrum Wiskunde & Informatica

A general object-centered database langauge : a preliminary definition Tech Report

M.L. Kersten (Martin) and F.H. Schippers

January 1986
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
Deformations of connections, the Riemann Hilbert problem and $ au $ -functions Tech Report

G.F. Helminck

January 1986

Previous

Next