scientific article; zbMATH DE number 7168155

MaRDI QIDQ5216313

Daniele Nantes-Sobrinho, Mauricio Ayala-Rincón, Maribel Fernández

Publication date: 17 February 2020

Full work available at URL: https://arxiv.org/abs/1902.08345

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unificationnominal syntaxequational theoriesalpha-conversion

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Nominal AC-matching

Cites Work

• Unnamed Item
• Equivariant unification
• Complete axiomatizations of some quotient term algebras
• A new approach to abstract syntax with variable binding
• Capture-avoiding substitution as a nominal algebra
• A polynomial nominal unification algorithm
• Complexity of matching problems
• Associative-commutative unification
• A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
• Unification in permutative equational theories is undecidable
• Nominal logic, a first order theory of names and binding
• Nominal rewriting
• Nominal unification of higher order expressions with recursive let
• A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
• Nominal Sets
• A Unification Algorithm for Associative-Commutative Functions
• αCheck: A mechanized metatheory model checker
• Term Rewriting and All That
• Fixed-Point Constraints for Nominal Equational Unification
• An Efficient Nominal Unification Algorithm
• Nominal Unification from a Higher-Order Perspective

This page was built for publication: