Pages that link to "Item:Q980937"
From MaRDI portal
The following pages link to Matching and alpha-equivalence check for nominal terms (Q980937):
Displaying 6 items.
- Checking overlaps of nominal rewriting rules (Q1744404) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal equational problems (Q2233392) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
