Department of Information and Computing Sciences

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

technical reports : dr. T. Arts

Thomas  Arts

select other reports

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