Pages that link to "Item:Q685393"
From MaRDI portal
The following pages link to Complete axiomatizations of some quotient term algebras (Q685393):
Displayed 4 items.
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable. (Q1400708) (← links)
- Congruential complements of ground term rewrite systems (Q1575250) (← links)