home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. O. de Moor

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. O. de Moor

• contact information
• my technical reports
• former member of group software technology

some publications

Swierstra, S.D. & Moor, O. de (1992). Virtual data structures. RUU-CS 92-16. Utrecht.

Moor, O. de (1987). Elimination of variables from functional programs. RUU-CS 87-24. Utrecht.

Moor, O. de (1987). The role of divide in divide-and-rule algorithms. RUU-CS 87-26. Utrecht.

Visser, E. & Moor, O. de (1986). How to prove the first and second incompleteness theorem using concatenation. RUU-CS 86-15. Utrecht.