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

technical reports : dr. M.C.F. Ferreira

select other reports

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

this selection

author	dr. M.C.F. Ferreira

reports (5)

techrep_id	file	title / author
UU-CS-1997-13	ps.gz pdf	Recursively defined (quasi) orders on terms M. C. F. Ferreira
UU-CS-1994-47	ps.gz pdf	Dummy elimination: making termination easier M. C. F. Ferreira, H. Zantema
UU-CS-1994-46	ps.gz pdf	Well-foundedness of term orderings M. C. F. Ferreira, H. Zantema
UU-CS-1994-28	ps.gz pdf	Syntactical analysis of total termination M. C. F. Ferreira, H. Zantema
RUU-CS-92-42	pdf	Total termination of term rewriting M.C.F. Ferreira and H. Zantema

indexed (co) authors

author		group
Ferreira, dr. M.C.F.	all reports	intelligent systems	all reports
Zantema, dr. H.	all reports	intelligent systems	all reports

BibTeX entries

@TECHREPORT{UUCS199713,
author = {Ferreira, M.~C.~F.},
year = 1997,
title = {Recursively defined (quasi) orders on terms},
number = {UU-CS-1997-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-13.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-13.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199447,
author = {Ferreira, M.~C.~F. and Zantema, H.},
year = 1994,
title = {Dummy elimination: making termination easier},
number = {UU-CS-1994-47},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-47.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-47.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199446,
author = {Ferreira, M.~C.~F. and Zantema, H.},
year = 1994,
title = {Well-foundedness of term orderings},
number = {UU-CS-1994-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-46.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-46.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199428,
author = {Ferreira, M.~C.~F. and Zantema, H.},
year = 1994,
title = {Syntactical analysis of total termination},
number = {UU-CS-1994-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-28.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-28.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9242,
author = {Ferreira, M.C.F. and Zantema, H.},
year = 1992,
title = {Total termination of term rewriting},
number = {RUU-CS-92-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1992/1992-42.pdf}},
pubcat = {techreport}
}