Böhm-Like Trees for Term Rewriting Systems

J. Ketema

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)233-248
JournalLecture Notes in Computer Science
Publication statusPublished - 2004

Bibliographical note

Proceedings title: Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Publisher: Springer
Editors: V. van Oostrom

Cite this