Argument filtering transformation

Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama

Research output: Chapter in Book/Report/Conference proceedingConference contribution

53 Citations (Scopus)


To simplify the task of proving termination of term rewriting systems, several elimination methods, such as the dummy elimination, the distribution elimination, the general dummy elimination and the improved general dummy elimination, have been proposed. In this paper, we show that the argument filtering method combining with the dependency pair technique is essential in all the above elimination methods. We present remarkable simple proofs for the soundness of these elimination methods based on this observation. Moreover, we propose a new elimination method, called the argument filtering transformation, which is not only more powerful than all the other elimination methods but also especially useful to make clear the essential relation hidden behind these methods.

Original languageEnglish
Title of host publicationPrinciples and Practice of Declarative Programming - International Conference, PPDP 1999, Proceedings
EditorsGopalan Nadathur, Gopalan Nadathur, Gopalan Nadathur
Number of pages15
ISBN (Print)3540665404, 3540665404, 3540665404, 9783540665403, 9783540665403, 9783540665403
Publication statusPublished - 1999 Jan 1
EventInternational Conference on Principles and Practice of Declarative Programming, PPDP 1999 - Paris, France
Duration: 1999 Sep 291999 Oct 1

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherInternational Conference on Principles and Practice of Declarative Programming, PPDP 1999


  • Argument filtering
  • Dependency pair
  • Elimination method
  • Term rewriting system
  • Termination

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Argument filtering transformation'. Together they form a unique fingerprint.

Cite this