The following pages link to Unification in commutative theories (Q582071):
Displaying 24 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Efficient general AGH-unification (Q462489) (← links)
- Unification under associativity and idempotence is of type nullary (Q580999) (← links)
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- Unification in commutative rings is not finitary (Q916417) (← links)
- A note on unification type zero (Q1098285) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification in commutative semigroups (Q1383954) (← 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)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- (Q3805960) (← links)
- Characterizations of unification type zero (Q5055707) (← 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)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Unification and Logarithmic Space (Q5170809) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
- Unification in varieties of completely regular semigroups (Q6114512) (← links)
- Unification theory (Q6169561) (← links)
- Unification in monoidal theories (Q6488564) (← links)
