The following pages link to Ralf Treinen (Q437025):
Displaying 5 items.
- Reducing equational theories for the decision of static equivalence (Q437026) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- How to win a game with features (Q1271569) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Verification: Theory and Practice (Q5305643) (← links)
