Pages that link to "Item:Q5179131"
From MaRDI portal
The following pages link to Variant Narrowing and Equational Unification (Q5179131):
Displaying 18 items.
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Narrowing based procedures for equational disunification (Q1197097) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- Effectively Checking the Finite Variant Property (Q3522010) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Variant Construction from Theoretical Foundation to Applications (Q4623149) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Variant Narrowing and Equational Unification (Q5179131) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)