## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

### 5.3 Jouannaud and Kounalis approach [Jouannaud and Kounalis 1989]

We show here a slight extension of the Jouannaud and Kounalis and of Dershowitz [1989] approach. Now, we do not assume any set of free constructors nor any equality predicate. Instead, we assume that the axioms of the specifications are oriented into a finite (ground) convergent rewrite system $R 0$ Examples 3.1 and 2.7 are easy to complete in order to satisfy this condition.

$A$ contains all disequalities st for terms s,t such that s t and s is not reducible. ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required