Descendants and origins in term rewriting.

Research output: Book / ReportReportAcademic

Original languageEnglish
Place of PublicationNijmegen, The Netherlands
PublisherComputing Science Institute, KU Nijmegen
Commissioning bodyUnknown commissioning body
Publication statusPublished - 1999

Publication series

NameCSI
No.R9921

Cite this