Recursively defined (quasi) orders on terms

M.C.F. Ferreira

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-13
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 1997

Keywords

@book{c97f3f55532045b18c6c29f3f993f5de,

title = "Recursively defined (quasi) orders on terms",

keywords = "Wiskunde en Informatica (WIIN)",

author = "M.C.F. Ferreira",

year = "1997",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1997-13",

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

edition = "UU-CS",

}