Pages that link to "Item:Q1687556"
From MaRDI portal
The following pages link to On solving nominal fixpoint equations (Q1687556):
Displaying 5 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)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)