On Nominal Syntax and Permutation Fixed Points by Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho

“…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