The following pages link to Santiago Escobar (Q462490):
Displaying 9 items.
- Natural Rewriting for General Term Rewriting Systems (Q5458797) (← links)
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)
- Term Rewriting and Applications (Q5703856) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)
- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA (Q6485983) (← links)
- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method (Q6487294) (← links)
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude (Q6671789) (← links)