deutsch
english
Publication View
8036188
Descendants and origins in term rewriting (2000)
Bethke, I.
,
Klop, J.W.
,
Vrijer, R. De
Publication details
Download
http://dare.uva.nl/record/99726
Repository
Publications of the Universiteit van Amsterdam (Netherlands)
Type
Article / Letter to the editor