Pages that link to "Item:Q4933278"
From MaRDI portal
The following pages link to Folding Variant Narrowing and Optimal Variant Termination (Q4933278):
Displaying 4 items.
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)