J. L. Moysset

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