Pages that link to "Item:Q4993333"

The following pages link to Fixed-Point Constraints for Nominal Equational Unification (Q4993333):

Displaying 8 items.

• 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)
• Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996) (← 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)