Recommendations
- Unification properties of commutative theories: a categorical treatment
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- scientific article; zbMATH DE number 3871321
- Unification in monoidal theories
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
Cites work
- scientific article; zbMATH DE number 3885353 (Why is no real title available?)
- scientific article; zbMATH DE number 3153997 (Why is no real title available?)
- scientific article; zbMATH DE number 3871322 (Why is no real title available?)
- scientific article; zbMATH DE number 3827173 (Why is no real title available?)
- scientific article; zbMATH DE number 3930337 (Why is no real title available?)
- scientific article; zbMATH DE number 3936507 (Why is no real title available?)
- scientific article; zbMATH DE number 4112560 (Why is no real title available?)
- scientific article; zbMATH DE number 3687544 (Why is no real title available?)
- scientific article; zbMATH DE number 3473265 (Why is no real title available?)
- scientific article; zbMATH DE number 3590511 (Why is no real title available?)
- scientific article; zbMATH DE number 3995771 (Why is no real title available?)
- scientific article; zbMATH DE number 3999263 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3284302 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- scientific article; zbMATH DE number 3375561 (Why is no real title available?)
- scientific article; zbMATH DE number 3413831 (Why is no real title available?)
- scientific article; zbMATH DE number 3417640 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- scientific article; zbMATH DE number 3198033 (Why is no real title available?)
- A Human Oriented Logic for Automatic Theorem-Proving
- A Unification Algorithm for Associative-Commutative Functions
- An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
- Automated deduction by theory resolution
- Complete Sets of Reductions for Some Equational Theories
- Complete sets of unifiers and matchers in equational theories
- Completion of a Set of Rules Modulo a Set of Equations
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Unification in commutative idempotent monoids
- Unification in varieties of idempotent semigroups
Cited in
(25)- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
- A note on unification type zero
- Unification and Logarithmic Space
- Unification, weak unification, upper bound, lower bound, and generalization problems
- Unification in monoidal theories
- Unification in commutative rings is not finitary
- Unification under associativity and idempotence is of type nullary
- Restricted unification in the DL \(\mathcal{FL}_0\)
- Decidability and combination results for two notions of knowledge in security protocols
- Filtering unification and most general unifiers in modal logic
- Unification in varieties of completely regular semigroups
- Unification of concept terms in description logics
- Unification problem in equational theories
- Characterizations of unification type zero
- Unification modulo ACUI plus distributivity axioms
- Unification in the Description Logic $\mathcal{EL}$
- Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
- Unification in commutative idempotent monoids
- Unification theory
- Anti-unification and the theory of semirings
- scientific article; zbMATH DE number 3885353 (Why is no real title available?)
- scientific article; zbMATH DE number 4074540 (Why is no real title available?)
- Unification properties of commutative theories: a categorical treatment
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- Efficient general AGH-unification
This page was built for publication: Unification in commutative theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582071)
