deutsch
english
Publikationsansicht
8036188
Descendants and origins in term rewriting (2000)
Bethke, I.
,
Klop, J.W.
,
Vrijer, R. De
Details der Publikation
Download
http://dare.uva.nl/record/99726
Archiv
Publications of the Universiteit van Amsterdam (Netherlands)
Typ
Article / Letter to the editor