Pages that link to "Item:Q3522010"
From MaRDI portal
The following pages link to Effectively Checking the Finite Variant Property (Q3522010):
Displaying 8 items.
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- Effectively Checking the Finite Variant Property (Q3522010) (← links)
- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (Q3636823) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Variant Narrowing and Equational Unification (Q5179131) (← links)
