Publication

On the declarative semantics of Horn Clause logic-based languages Article

C. Palamidessi (Catuscia)

Strong completeness for Hoare logics of recursive processes: an infinitary approach Tech Report

A. Ponse (Alban) and F.-J. de Vries (Fer-Jan)

Termination of disjoint unions of conditional term rewriting systems Tech Report

A. Middeldorp

Nieuwjaarskaart CWI 1990 Other

Quantifiers Tech Report

D.J.N. van Eijck (Jan)

Deriving incremental implementations from algebraic specifications Tech Report

E.A. van der Meulen (Emma)

Directe numerieke oplosmethoden. Iteratieve numerieke oplosmethoden. De kleinste-kwadratenmethode. Book Chapter

P.M. de Zeeuw (Paul)

Approximation algorithms for scheduling unrelated parallel machines Article

J.K. Lenstra (Jan Karel), D.B. Shmoys and É. Tardos