Reduction Under Substitution

Research output: Contribution to JournalArticleAcademicpeer-review

219 Downloads (Pure)
Original languageEnglish
Pages (from-to)425-440
JournalLecture Notes in Computer Science
Volume5117
DOIs
Publication statusPublished - 2008

Bibliographical note

Endr:deVrij:08
Proceedings title: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings
Publisher: Springer
Editors: A. Voronkov

Cite this