The following pages link to (Q4266522):
Displaying 5 items.
- AC complement problems: Satisfiability and negation elimination (Q677036) (← links)
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Any ground associative-commutative theory has a finite canonical system (Q1357668) (← links)
- Tree automata help one to solve equational formulae in AC-theories (Q1892141) (← links)
- (Q4035251) (← links)