Refine
Year of publication
- 1999 (1) (remove)
Document Type
- Preprint (1)
Language
- English (1)
Has Fulltext
- yes (1)
Faculty / Organisational entity
We investigate one of the classical problems of the theory ofterm rewriting, namely termination. We present an ordering for compar-ing higher-order terms that can be utilized for testing termination anddecreasingness of higher-order conditional term rewriting systems. Theordering relies on a first-order interpretation of higher-order terms anda suitable extension of the RPO.