Extension functions for multiset orderings

Ursula Martin

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)181 - 186
Number of pages6
JournalInformation Processing Letters
Volume26
Issue number4
DOIs
Publication statusPublished - 4 Dec 1987

Keywords

  • Multiset ordering
  • termination ordering
  • ordered multiset

Cite this