Index : Theoretical computer science 1995 Article

M. Hazewinkel (Michiel) and S. van Dongen

Verification of logic programs with delay declarations In Proceedings

K.R. Apt (Krzysztof) and I. Luitjes

Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)

Radio and television information filtering through speech recognition Tech Report

A.P. de Vries (Arjen)

Preface: Meta-logics and logic programming 1995 Preface

K.R. Apt (Krzysztof) and F. Turini

Meta-logics and logic programming Book

Let's talk about it: dialogues with multimedia databases Tech Report

A.P. de Vries (Arjen), G.C. van der Veer and H.M. Blanken

Review of "Handbook of logic in computer science, Vols. 1&2" by Gabby, D. M. (ed.), Abramsky, S. (ed.) and Maibaum, T. S. E. (ed.) Article

K.R. Apt (Krzysztof)