Department of Information and Computing Sciences

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

technical report UU-CS-1994-47

select other reports


techrep_id file title / author
UU-CS-1994-47 ps.gz
Dummy elimination: making termination easier
M. C. F. Ferreira, H. Zantema

indexed authors

author group
Ferreira, dr. M.C.F. all reports Intelligent Systems all reports
Zantema, dr. H. all reports Intelligent Systems all reports

BibTeX entry

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 = {{}},
urlpdf = {{}},
pubcat = {techreport}