Pages that link to "Item:Q2409747"
From MaRDI portal
The following pages link to Nominal unification of higher order expressions with recursive let (Q2409747):
Displayed 11 items.
- Nominal unification with atom-variables (Q1640638) (← links)
- Nominal unification with letrec and environment-variables (Q2119105) (← 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)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- (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)
- (Q5216313) (← links)
- Nominal AC-matching (Q6118812) (← links)