Rewrite order

Known as: Reduction ordering, Simplification ordering, Rewrite relation

In theoretical computer science, in particular in automated theorem proving and term rewriting,a binary relation (→) on the set of terms is called a…

Papers overview

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

2014

Confluence of term rewriting systems (TRSs) is undecidable, even for flat TRSs [MOJ06] or length-two string rewrite systems [SW08…

2013

We herein consider a stochastic multi-item inventory management problem in which a warehouse sells multiple items with stochastic…

2007

We investigate some preservation properties for classes of regular languages of unranked ordered terms under an appropriate…

2006

We decompose an arbitrary rewrite relation into the product of a context-free system and an inverse context-free system with…

Review

2001

Review

2001

The ρ-calculus integrates in a uniform and simple setting first-order rewriting, λ-calculus and nondeterministic computations…

1999

We present an abstract completion-based method for finding normal forms of terms with respect to given rewrite systems. The…

1995

We propose a constructive termination proof in the Calculus of Constructions of any finite term rewriting systems whose rules can…

1994

1990

A study is made of well (quasi) orderings which are described as rewrite orderings, and a family of well (quasi) orderings that…

1989

In this paper we apply rewriting techniques to the generalized word problem GWP in polycyclic groups. We assume the group <italic…