Pages that link to "Item:Q1640638"
From MaRDI portal
The following pages link to Nominal unification with atom-variables (Q1640638):
Displaying 10 items.
- Completeness in PVS of a nominal unification algorithm (Q1744405) (← links)
- Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) (← links)
- Nominal unification with letrec and environment-variables (Q2119105) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- Rewriting with generalized nominal unification (Q5139280) (← links)
- Foundations of Software Science and Computational Structures (Q5705871) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)