The following pages link to Unification in monoidal theories (Q6488564):
Displaying 11 items.
- Efficient general AGH-unification (Q462489) (← links)
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- Easy intruder deduction problems with homomorphisms (Q1045939) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← 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 of concept terms in description logics (Q5929707) (← links)
