Term Rewriting Systems

[Unknown] Terese

Research output: Book / ReportBookAcademicpeer-review

Original languageEnglish
Place of PublicationCambridge
PublisherCambridge University Press
Publication statusPublished - 2003

Publication series

NameCambridge Tracts in Theoretical Computer Science
No.55

Bibliographical note

terese03

Cite this