The following pages link to An undecidability result for AGh (Q859845):
Displaying 5 items.
- An undecidability result for AGh (Q859845) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- AGM contraction is not reconstructible as a descriptor operation (Q3133159) (← links)
- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (Q3636823) (← links)
