The following pages link to Nominal narrowing (Q5369476):
Displaying 10 items.
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- A Certified Functional Nominal C-Unification Algorithm (Q5097631) (← links)
