Pages that link to "Item:Q5097631"

The following pages link to A Certified Functional Nominal C-Unification Algorithm (Q5097631):

Displaying 2 items.

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