Pages that link to "Item:Q1099650"
From MaRDI portal
The following pages link to Unification problems with one-sided distributivity (Q1099650):
Displayed 10 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)
- A partial solution for D-unification based on a reduction to AC 1-unification (Q4630297) (← links)
- Bounded ACh unification (Q5139278) (← links)
- The complexity of counting problems in equational matching (Q5210797) (← links)