HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

publications by dr. O. de Moor

Oege de Moor

dr. O. de Moor

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.


valid-html401 webmaster@cs.uu.nl, Wed, 23 May 2012 22:14:51 +0200 ← Departement Informatica, Universiteit Utrecht