Unification in commutative theories

DOI10.1016/S0747-7171(89)80055-0zbMath0689.68039WikidataQ57383756 ScholiaQ57383756MaRDI QIDQ582071

Franz Baader

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

unification; commutative theories

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68Q65: Abstract data types; algebraic specification

Related Items

Filtering unification and most general unifiers in modal logic, Unification of concept terms in description logics, Unification problem in equational theories, Unification modulo ACUI plus distributivity axioms, Combination problems for commutative/monoidal theories or how algebra can help in equational unification, Unification in the Description Logic $\mathcal{EL}$

Cites Work

• Unification in varieties of idempotent semigroups
• Unification in commutative idempotent monoids
• An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
• Complete sets of unifiers and matchers in equational theories
• Automated deduction by theory resolution
• Completion of a Set of Rules Modulo a Set of Equations
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• A Unification Algorithm for Associative-Commutative Functions
• Complete Sets of Reductions for Some Equational Theories
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• A Human Oriented Logic for Automatic Theorem-Proving
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item