Department of Information and Computing Sciences

technical reports : dr. T. Arts

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	dr. T. Arts

reports (6)

techrep_id	file	title / author
UU-CS-1997-07	ps.gz pdf	Proving innermost normalisation automatically T. Arts, J. Giesl
UU-CS-1996-44	ps.gz pdf	Automatically proving termination where simplification orderings fail T. Arts, J. Giesl
UU-CS-1996-07	ps.gz pdf	Termination of constructor systems T. Arts, J. Giesl
UU-CS-1995-32	ps.gz pdf	A technique for automatically proving termination of constructor systems T. Arts
UU-CS-1995-17	ps.gz pdf	Termination of constructor systems using semantic unification T. Arts, H. Zantema
UU-CS-1994-20	ps.gz pdf	Termination of logic programs via labelled term rewrite systems T. Arts, H. Zantema

indexed (co) authors

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

BibTeX entries

@TECHREPORT{UUCS199707,
author = {Arts, T. and Giesl, J.},
year = 1997,
title = {Proving innermost normalisation automatically},
number = {UU-CS-1997-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-07.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199644,
author = {Arts, T. and Giesl, J.},
year = 1996,
title = {Automatically proving termination where simplification orderings fail},
number = {UU-CS-1996-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-44.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-44.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199607,
author = {Arts, T. and Giesl, J.},
year = 1996,
title = {Termination of constructor systems},
number = {UU-CS-1996-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-07.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199532,
author = {Arts, T.},
year = 1995,
title = {A technique for automatically proving termination of constructor systems},
number = {UU-CS-1995-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-32.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-32.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199517,
author = {Arts, T. and Zantema, H.},
year = 1995,
title = {Termination of constructor systems using semantic unification},
number = {UU-CS-1995-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-17.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-17.pdf}},
pubcat = {techreport}
}

@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}
}