Department of Information and Computing Sciences

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

technical report UU-CS-2012-013

select other reports

report

techrep_id file title / author
UU-CS-2012-013 pdf Log-Based Reduction by Rewriting
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage

indexed authors

author group
Elyasov, A.B. all reports Software Technology all reports
Hage, dr. J. all reports Software Technology all reports
Prasetya, dr. S.W.B. all reports Software Technology all reports

BibTeX entry

@TECHREPORT{UUCS2012013,
author = {Elyasov, Alexander and Prasetya, Wishnu and Hage, Jurriaan},
year = 2012,
title = {Log-Based Reduction by Rewriting},
number = {UU-CS-2012-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-013.pdf}},
pubcat = {techreport}
}