Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification

DOI10.1007/3-540-53904-2_91MaRDI QIDQ5055754zbMATH OpenOpenAlexFDO

Authors Franz Baader, Werner Nutt

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53904-2_91

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) Semirings (16Y60)

Recommendations

• Combination problems for commutative/monoidal theories or how algebra can help in equational unification
• scientific article; zbMATH DE number 4080961
• Unification in monoidal theories
• Unification in commutative theories
• Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

Cites work

• Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
• Unification in a combination of arbitrary disjoint equational theories
• Unification in commutative theories
• Unification in monoidal theories
• Unification properties of commutative theories: a categorical treatment
• Unification theory

Cited in

(8)

• Anti-unification and the theory of semirings
• Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
• Unification in commutative theories
• 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 theories, Hilbert's basis theorem, and Gröbner bases
• Unification in varieties of completely regular semigroups

This page was built for publication: Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055754)