Pages that link to "Item:Q5179131"
From MaRDI portal
The following pages link to Variant Narrowing and Equational Unification (Q5179131):
Displayed 14 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)
- 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 Narrowing and Equational Unification (Q5179131) (← links)
- Optimizing Maude programs via program specialization (Q6175104) (← links)