The following pages link to Unifying Nominal Unification (Q2958381):
Displaying 11 items.
- Nominal unification with atom-variables (Q1640638) (← links)
- Completeness in PVS of a nominal unification algorithm (Q1744405) (← links)
- Essential unifiers (Q2494722) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Implementing nominal unification (Q2867897) (← links)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- (Q5020553) (← links)
- Nominal narrowing (Q5369476) (← links)
- Automata, Languages and Programming (Q5466474) (← links)
- Foundations of Software Science and Computational Structures (Q5705871) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)