Pages that link to "Item:Q674747"
From MaRDI portal
The following pages link to Decidability of unification in the theory of one-sided distributivity and a multiplicative unit (Q674747):
Displayed 5 items.
- A decision algorithm for distributive unification (Q1275018) (← links)
- The first-order theory of linear one-step rewriting is undecidable (Q1275021) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Cadmium: An Implementation of ACD Term Rewriting (Q5504678) (← links)