# Path ordering (term rewriting)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2007

2007

- J. ACM
- 2007

This article extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining aâ€¦Â (More)

Is this relevant?

2002

2002

- CADE
- 2002

Context-sensitive rewriting (CSR) is a simple restriction of rewriting which can be used e.g. for modelling non-eager evaluationâ€¦Â (More)

Is this relevant?

2001

2001

- LPAR
- 2001

There is an increasing use of ((rst-and higher-order) rewrite rules in many programming languages and logical systems. Theâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Theor. Comput. Sci.
- 2000

We present techniques to prove termination and innermost termination of term rewriting systems automatically. In contrast toâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- LICS
- 1999

This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting theâ€¦Â (More)

Is this relevant?

1999

1999

- RTA
- 1999

A usual technique in symbolic constraint solving is to apply transformation rules until a solved form is reached for which theâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Fundam. Inform.
- 1995

A new kind of transformation of TRS's is proposed, depending on a choice for a model for the TRS. The labelled TRS is obtainedâ€¦Â (More)

Is this relevant?

1995

1995

- Theor. Comput. Sci.
- 1995

It is shown that a termination proof for a term rewriting system using a lexicographic path ordering yields a multiply recursiveâ€¦Â (More)

Is this relevant?

1995

1995

- Journal of Automated Reasoning
- 1995

We describe a method that extends the lexicographic recursive path ordering of Dershowitz and Kamin and Levy for provingâ€¦Â (More)

Is this relevant?

1985

1985

- Theor. Comput. Sci.
- 1985

The uniform termination property (sometimes called Noetherian property) is crucial to applying the Knuth-Bendix completionâ€¦Â (More)

Is this relevant?