Folding variant narrowing and optimal variant termination

Keyphrases

• Automated Reasoning 33%
• Automated Reasoning Techniques 33%
• Complete Set 100%
• Cryptographic Protocol Verification 33%
• Disjoint Union 33%
• E-unification 33%
• Equational Theory 66%
• Finitary 33%
• Finite Variant Property 33%
• Folding Variant Narrowing 100%
• Narrowing Strategies 66%
• Optimal Variant 100%
• Rewrite Rules 33%
• Unification Theory 33%

Computer Science

• Automated Reasoning 100%
• Cryptographic Protocol 50%
• Equational Theory 100%
• Protocol Verification 50%
• Reasoning Technique 50%
• Rewrite Rule 50%
• Sufficient Condition 50%
• Unification Algorithm 100%
• Unification Theory 50%