-
1
On Nominal Syntax and Permutation Fixed Points
Published 2020-02-01“…Based on this notion of equivalence, we show that C-unification is finitary and we provide a sound and complete C-unification algorithm, as a first step towards the development of nominal unification modulo AC and other equational theories with permutative properties.…”
Get full text
Article