Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. O. de Moor

Oege de Moor

select other reports

this selection

author dr. O. de Moor

reports (4)

techrep_id file title / author
RUU-CS-92-16 pdf Virtual data structures
D. Swierstra and O. de Moor
RUU-CS-87-26 pdf The role of divide in divide-and-rule algorithms
O. de Moor
RUU-CS-87-24 pdf Elimination of variables from functional programs
O. de Moor
RUU-CS-86-15 pdf How to prove the first and second incompleteness theorem using concatenation
A. Visser and O. de Moor and M.J. Walsteijn

indexed (co) authors

author group
Moor, dr. O. de all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{RUUCS9216,
author = {Swierstra, D. and Moor, O.~de},
year = 1992,
title = {Virtual data structures},
number = {RUU-CS-92-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8726,
author = {Moor, O.~de},
year = 1987,
title = {The role of divide in divide-and-rule algorithms},
number = {RUU-CS-87-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8724,
author = {Moor, O.~de},
year = 1987,
title = {Elimination of variables from functional programs},
number = {RUU-CS-87-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-24.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8615,
author = {Visser, A. and Moor, O.~de and Walsteijn, M.J.},
year = 1986,
title = {How to prove the first and second incompleteness theorem using concatenation},
number = {RUU-CS-86-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-15.pdf}},
pubcat = {techreport}
}