Publication View

Termination for direct sums of left-linear complete term rewriting systems (1995)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch