Proving innermost normalisation automatically

T. Arts

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, the Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	1997-07
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 1997

Keywords

@book{2949dd6ccb1c43d8bec203f5fd130755,

title = "Proving innermost normalisation automatically",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T. Arts",

year = "1997",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1997-07",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}