Termination of term rewriting by semantic labelling

Research output: Book/Report › Report › Popular

180 Downloads (Pure)

Name	Universiteit Utrecht. UU-CS, Department of Computer Science
Volume	9324
ISSN (Print)	0924-3275

Uitgebr. en herz. versie van RUU-CS 9238.

Access to Document

@book{0b254341819344f19f2ff8d26fe5640b,

title = "Termination of term rewriting by semantic labelling",

author = "H. Zantema",

note = "Uitgebr. en herz. versie van RUU-CS 9238.",

year = "1993",

language = "English",

series = "Universiteit Utrecht. UU-CS, Department of Computer Science",

publisher = "Utrecht University",

address = "Netherlands",

}