The following pages link to Unification in commutative theories (Q582071):
Displaying 11 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Efficient general AGH-unification (Q462489) (← links)
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification (Q5055754) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
