Centrum Wiskunde & Informatica

The Alma project, or how first-order logic can help us in imperative programming In Proceedings

K.R. Apt (Krzysztof) and A. Schaerf

January 1999
Index : Theoretical computer science 1999 Article

Theoretical Computer Science, 1-3.

M. Hazewinkel (Michiel)

January 1999
Automatic generation of constraint propagation algorithms for small finite domains In Proceedings

K.R. Apt (Krzysztof) and E.B.G. Monfroy

January 1999
The rough guide to constraint propagation Article

Lecture Notes in Computer Science, 1-23.

K.R. Apt (Krzysztof)

January 1999
The mirror DBMS at TREC-8 In Proceedings

A.P. de Vries (Arjen) and D. Hiemstra

January 1999
The mirror MMDBMS architecture In Proceedings

A.P. de Vries (Arjen), M.G.L.M. van Doorn (Mark), H.M. Blanken and P.M.G. Apers (Peter)

January 1999
On the integration of IR and databases In Proceedings

A.P. de Vries (Arjen) and A.N. Wilschut

January 1999
Preface: The logic programming paradigm: a 25-year perspective 1999 Preface

K.R. Apt (Krzysztof), V.M. Marek, M. Truszczynski (Miroslaw) and D.S. Warren

January 1999

Previous

Next