Reductivity arguments and program construction
By: Hendrik Doornbos
Contributors: Technische Universiteit Eindhoven; Instituut voor Programmatuurkunde en Algorimiek
Publisher: Eindhoven University of Technology
Published: 1996
Place of publication: Eindhoven
Language: eng
Number of pages: 177
Subjects: Logic programming; Induction (Logic)
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1996.

Includes bibliographical references (p. 161-7) and index.

Dutch summary : p. 173-6.