Complexity of unification problems with associative-commutative operators
From MaRDI portal
(Redirected from Publication:688565)
Recommendations
- On the parameterized complexity of associative and commutative unification
- On the parameterized complexity of associative and commutative unification
- Associative-commutative unification
- scientific article; zbMATH DE number 3871322
- Adventures in associative-commutative unification
- scientific article; zbMATH DE number 4074540
- An algebraic approach to unification under associativity and commutativity
- scientific article; zbMATH DE number 3930337
- Unifications, deunifications, and their complexity
- Complexity of nilpotent unification and matching problems.
Cites work
- scientific article; zbMATH DE number 3871322 (Why is no real title available?)
- scientific article; zbMATH DE number 3930337 (Why is no real title available?)
- scientific article; zbMATH DE number 3930347 (Why is no real title available?)
- scientific article; zbMATH DE number 4049047 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3793772 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 3330761 (Why is no real title available?)
- scientific article; zbMATH DE number 3413831 (Why is no real title available?)
- A Unification Algorithm for Associative-Commutative Functions
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
- Complete Sets of Reductions for Some Equational Theories
- Complexity of matching problems
- Linear unification
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Matching, unification and complexity
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Unification in varieties of idempotent semigroups
- Unification problems with one-sided distributivity
- Unification theory
Cited in
(31)- Unification and matching modulo nilpotence
- Complexity of nilpotent unification and matching problems.
- More problems in rewriting
- \(E\)-unification with constants vs. general \(E\)-unification
- scientific article; zbMATH DE number 4043300 (Why is no real title available?)
- The complexity of counting problems in equational matching
- On complexity of the anti-unification problem
- Cancellative Abelian monoids and related structures in refutational theorem proving. I
- Type dependencies for logic programs using ACI-unification
- Combination techniques and decision problems for disunification
- Combination techniques and decision problems for disunification
- Unification algorithms cannot be combined in polynomial time.
- What is essential unification?
- scientific article; zbMATH DE number 1929957 (Why is no real title available?)
- Approximate unification in the description logic \(\mathcal {FL}_0\)
- An algorithm for distributive unification
- Extensions of unification modulo ACUI
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- On the parameterized complexity of associative and commutative unification
- On the unification problem for Cartesian closed categories
- On the parameterized complexity of associative and commutative unification
- A formalisation of nominal C-matching through unification with protected variables
- Unification theory
- AC-superposition with constraints: no AC-unifiers needed
- Generating languages by a derivation procedure for elementary formal systems
- Variant-Based Satisfiability in Initial Algebras
- scientific article; zbMATH DE number 4164133 (Why is no real title available?)
- An efficient labelled nested multiset unification algorithm
- scientific article; zbMATH DE number 4074540 (Why is no real title available?)
- Formalising nominal C-unification generalised with protected variables
- NP-completeness results for deductive problems on stratified terms
This page was built for publication: Complexity of unification problems with associative-commutative operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688565)
