Nominal equational problems
From MaRDI portal
Publication:2233392
DOI10.1007/978-3-030-71995-1_2OpenAlexW3137580398MaRDI QIDQ2233392
Deivid Vale, Maribel Fernández, Mauricio Ayala-Rincón, Daniele Nantes-Sobrinho
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-71995-1_2
Cites Work
- Unnamed Item
- Unnamed Item
- Combination techniques and decision problems for disunification
- AC complement problems: Satisfiability and negation elimination
- Matching and alpha-equivalence check for nominal terms
- Equational problems and disunification
- Narrowing based procedures for equational disunification
- Negation elimination in empty or permutative theories
- Nominal unification
- Asymmetric unification and disunification
- On solving nominal disunification constraints
- Nominal rewriting
- Nominal Sets
- Nominal (Universal) Algebra: Equational Logic with Names and Binding
- On solving equations and disequations
- Higher order disunification: Some decidable cases
- Negation elimination in equational formulae
- Logic Programming
- An Efficient Nominal Unification Algorithm
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
This page was built for publication: Nominal equational problems