Pages that link to "Item:Q1099650"
From MaRDI portal
The following pages link to Unification problems with one-sided distributivity (Q1099650):
Displaying 18 items.
- Unification modulo homomorphic encryption (Q437037) (← links)
- Decidability of unification in the theory of one-sided distributivity and a multiplicative unit (Q674747) (← 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)
- Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification (Q1322774) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- Unification Modulo Homomorphic Encryption (Q3655194) (← links)
- (Q4282529) (← links)
- A partial solution for D-unification based on a reduction to AC 1-unification (Q4630297) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Bounded ACh unification (Q5139278) (← links)
- The complexity of counting problems in equational matching (Q5210797) (← links)