Termination by absence of infinite chains of dependency pairs

T. Arts

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP'96
EditorsH. Kirchner
PublisherSpringer
Pages196-210
Number of pages15
Publication statusPublished - 1996

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this