Pages that link to "Item:Q5892169"
From MaRDI portal
The following pages link to Nominal Unification from a Higher-Order Perspective (Q5892169):
Displaying 18 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Alpha equivalence equalities (Q428860) (← links)
- Equivariant unification (Q616849) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Matching and alpha-equivalence check for nominal terms (Q980937) (← links)
- Nominal unification with atom-variables (Q1640638) (← links)
- Completeness in PVS of a nominal unification algorithm (Q1744405) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- The First-Order Nominal Link (Q3003496) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q4993360) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- A Certified Functional Nominal C-Unification Algorithm (Q5097631) (← links)
- (Q5216313) (← links)
- (Q5900246) (redirect page) (← links)
