# J. L. Moysset

- Citations Per Year

- Citations Per Year

1993

1994

Learn More

In this paper we consider particular equational formulae where equality = AC is the congruence induced by a set of associative-commutative axioms. The formulae we are interested in have the form t 6 = AC t 1 ^ : : : t 6 = AC tn and are usually known as complement problems. To solve a complement problem is to nd an instance of t which is not an instance of… (More)

- ‹
- 1
- ›