Advanced ARS theory

M. Bezem, J.W. Klop

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
Pages744-789
Publication statusPublished - 2003

Publication series

NameCambridge Tracts in Theoretical Computer Science
Number55

Bibliographical note

terese-ch14

Cite this