Unification in commutative theories
From MaRDI portal
DOI10.1016/S0747-7171(89)80055-0zbMATH Open0689.68039WikidataQ57383756 ScholiaQ57383756MaRDI QIDQ582071FDOQ582071
Authors: Franz Baader 
Publication date: 1989
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
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
Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated deduction by theory resolution
- Title not available (Why is that?)
- A Unification Algorithm for Associative-Commutative Functions
- Complete Sets of Reductions for Some Equational Theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unification in commutative idempotent monoids
- Title not available (Why is that?)
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
- Title not available (Why is that?)
- Completion of a Set of Rules Modulo a Set of Equations
- Unification in varieties of idempotent semigroups
- An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
- Complete sets of unifiers and matchers in equational theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Human Oriented Logic for Automatic Theorem-Proving
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (25)
- Unification of concept terms in description logics
- Anti-unification and the theory of semirings
- Restricted unification in the DL \(\mathcal{FL}_0\)
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
- Unification theory
- A note on unification type zero
- Characterizations of unification type zero
- Decidability and combination results for two notions of knowledge in security protocols
- Unification under associativity and idempotence is of type nullary
- Filtering unification and most general unifiers in modal logic
- Title not available (Why is that?)
- Unification in commutative idempotent monoids
- Efficient general AGH-unification
- Unification, weak unification, upper bound, lower bound, and generalization problems
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- Unification in monoidal theories
- Unification properties of commutative theories: a categorical treatment
- Unification in commutative rings is not finitary
- 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 varieties of completely regular semigroups
- Title not available (Why is that?)
- Unification problem in equational theories
- Unification and Logarithmic Space
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)
