Department of Information and Computing Sciences

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

technical report RUU-CS-92-43

select other reports

report

techrep_id file title / author
RUU-CS-92-43 pdf Derivation lengths in terms rewriting from interpretations in the naturals
V.C.S. Meeussen and H. Zantema

indexed authors

author group
Zantema, dr. H. all reports Intelligent Systems all reports

BibTeX entry

@TECHREPORT{RUUCS9243,
author = {Meeussen, V.C.S. and Zantema, H.},
year = 1992,
title = {Derivation lengths in terms rewriting from interpretations in the naturals},
number = {RUU-CS-92-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-43.pdf}},
pubcat = {techreport}
}