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.