Pages that link to "Item:Q1919702"
From MaRDI portal
The following pages link to Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702):
Displaying 6 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
