Skip to main navigation Skip to search Skip to main content

Decomposing terminating rewrite relations

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original languageEnglish
Title of host publicationProceedings of the 8th International Workshop on Termination (WST 2006)
Pages39-43
Publication statusPublished - 2006

Bibliographical note

EHW06

Persistent URL (handle)

Cite this