Termination of term rewriting by semantic labelling

Research output: Book/Report › Report › Popular

143 Downloads (Pure)

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

Herz. versie verschenen onder RUU-CS 9324.

Access to Document

@book{08f3b0a69ab1482e8d0293ab6d5c1007,

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

author = "H. Zantema",

note = "Herz. versie verschenen onder RUU-CS 9324.",

year = "1992",

language = "English",

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

publisher = "Utrecht University",

address = "Netherlands",

}