Pages that link to "Item:Q1099650"
From MaRDI portal
The following pages link to Unification problems with one-sided distributivity (Q1099650):
Displayed 7 items.
- Unification modulo homomorphic encryption (Q437037) (← links)
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Unification Modulo Homomorphic Encryption (Q3655194) (← links)
