Pages that link to "Item:Q1592635"
From MaRDI portal
The following pages link to Partial completion of equational theories (Q1592635):
Displaying 6 items.
- A completion procedure for conditional equations (Q758211) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Perfect bases for equational theories (Q1904140) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
- Maximal completion (Q5389074) (← links)
- Linear completion (Q5881280) (← links)