Skip to main navigation Skip to search Skip to main content

Descendants and origins in term rewriting.

  • I. Bethke
  • , J.W. Klop
  • , R.C. de Vrijer

Research output: Book / Report › Report › Academic

Original languageEnglish
Place of PublicationNijmegen, The Netherlands
PublisherKatholieke Universiteit Nijmegen, Computing Science Institute
Commissioning bodyUnknown commissioning body
Publication statusPublished - 1999

Publication series

NameCSI
No.R9921

Persistent URL (handle)

Cite this