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

technical report UU-CS-1994-20

select other reports

• technical report index page

report

techrep_id	file	title / author
UU-CS-1994-20	ps.gz pdf	Termination of logic programs via labelled term rewrite systems T. Arts, H. Zantema

indexed authors

author		group
Arts, dr. T.	all reports	intelligent systems	all reports
Zantema, dr. H.	all reports	intelligent systems	all reports

BibTeX entry

@TECHREPORT{UUCS199420,
author = {Arts, T. and Zantema, H.},
year = 1994,
title = {Termination of logic programs via labelled term rewrite systems},
number = {UU-CS-1994-20},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-20.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-20.pdf}},
pubcat = {techreport}
}