The following pages link to (Q3358706):
Displaying 6 items.
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable. (Q1400708) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Encompassment properties and automata with constraints (Q5055805) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
