Centrum Wiskunde & Informatica

Hypothetical-reasoning and radical non-constituent coordination in categorical logic Tech Report

N. Francez

January 1997
Alma-0: an imperative language that supports declarative programming Tech Report

K.R. Apt (Krzysztof), J. Brunekreef, V. Partinton and A. Schaerf (Andrea)

January 1997
A model for strategy in constraint solving Tech Report

J.J. van Wijk (Jack)

January 1997
The use of defect correction for the solution of parabolic singular perturbation problems Article

ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 77(1), 59-74.

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 1997
Validating year 2000 compliance Tech Report

A. van Deursen (Arie), P. Klint (Paul) and M.P.A. Sellink

January 1997
Program plan recognition for year 2000 tools Tech Report

A. van Deursen (Arie), S. Woods and A. Quilici

January 1997
Weighted colimits and formal balls in generalized metric spaces Tech Report

J.J.M.M. Rutten (Jan)

January 1997
Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems Tech Report

J.P. Warners (Joost)

January 1997

Previous

Next