Pages that link to "Item:Q2333665"

The following pages link to A formalisation of nominal C-matching through unification with protected variables (Q2333665):

Displaying 2 items.

• Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
• Rewriting with generalized nominal unification (Q5139280) (← links)