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

publications by dr. M.C.F. Ferreira

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. M.C.F. Ferreira

• contact information
• my technical reports
• former member of group intelligent systems

some publications

Ferreira, M.C.F. (1997). Recursively defined (quasi) orders on terms. (UU-CS1997-13 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Ferreira, M.C.F. & Zantema, H. (1996). Total termination of term rewriting. Applicable algebra in engineering, communication and computing, 7(2), 133-162.

Ferreira, M.C.F. & Zantema, H. (1994). Dummy elimination: making termination easier. (UU-CS1994-47 ). Utrecht.

Ferreira, M.C.F. & Zantema, H. (1994). Syntactical analysis of total termination. (UU-CS1994-28 ). Utrecht.

Ferreira, M.C.F. & Zantema, H. (1994). Well-foundedness of term orderings. (UU-CS1994-46 ). Utrecht.

Ferreira, M.C.F. & Zantema, H. (1992). Total termination of term rewriting. (RUU-CS92-42 ). Utrecht.