The following pages link to Nominal rewriting (Q2373703):
Displayed 42 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Alpha equivalence equalities (Q428860) (← links)
- Equivariant unification (Q616849) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- A polynomial nominal unification algorithm (Q944382) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Matching and alpha-equivalence check for nominal terms (Q980937) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Checking overlaps of nominal rewriting rules (Q1744404) (← links)
- Completeness in PVS of a nominal unification algorithm (Q1744405) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal equational problems (Q2233392) (← links)
- On explicit substitution with names (Q2392486) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- The First-Order Nominal Link (Q3003496) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Nominal SOS (Q3178277) (← links)
- Nominal Matching and Alpha-Equivalence (Q3511452) (← links)
- (Q4972733) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
- On nominal sets with support-preorder (Q5053424) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- A Certified Functional Nominal C-Unification Algorithm (Q5097631) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- Rewriting with generalized nominal unification (Q5139280) (← links)
- (Q5216313) (← links)
- a-Logic With Arrows (Q5403474) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)
- The fresh-graph of a nominal set (Q6059081) (← links)
- Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting (Q6109479) (← links)
- Nominal AC-matching (Q6118812) (← links)