Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems

T. Arts

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Utrecht University
Supervisors/Advisors	Meyer, John-Jules, Primary supervisor Zantema, H., Co-supervisor, External person
Award date	16 May 1997
Publication status	Published - 16 May 1997

Keywords

@phdthesis{d7169514e3654d6b827cab00f054d875,

title = "Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T. Arts",

year = "1997",

month = may,

day = "16",

language = "Undefined/Unknown",

type = "Doctoral thesis 1 (Research UU / Graduation UU)",

school = "Utrecht University",

}