A note on simplification orderings

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)212-215
Number of pages4
JournalInformation Processing Letters
Volume9
Issue number5
DOIs
StatePublished - 16 Dec 1979
Externally publishedYes

Keywords

  • Simplification orderings
  • term-rewriting
  • termination
  • well-founded orderings

Cite this