Department of Information and Computing Sciences

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

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

Maria  Ferreira

select other reports

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.cs.uu.nl/research/techreps/repo/CS-1997/1997-13.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-47.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-46.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-28.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1992/1992-42.pdf}},
pubcat = {techreport}
}