Equivalence of reduction

V. van Oostrom, R.C. de Vrijer

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationTerm Rewriting Systems
Editors Terese
Place of PublicationCambridge
PublisherCambridge University Press
Pages301-474
Publication statusPublished - 2003

Publication series

Name
Number55

Bibliographical note

terese-ch8:03

Cite this