Examples of TRSs and special rewriting formats

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
Pages60-87
Publication statusPublished - 2003

Publication series

Name
Number55

Bibliographical note

terese-ch3:03

Cite this