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

technical reports : dr. O. de Moor

select other reports

• technical report index page
• below : list of indexed authors

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. 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.computingscience.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.computingscience.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.computingscience.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.computingscience.nl/research/techreps/repo/CS-1986/1986-15.pdf}},
pubcat = {techreport}
}