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
Volume3091
Publication statusPublished - 2004

Bibliographical note

DBLP:conf/rta/Ketema04
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