Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
From MaRDI portal
Publication:5055754
DOI10.1007/3-540-53904-2_91zbMATH Open1503.68087OpenAlexW1856526373MaRDI QIDQ5055754FDOQ5055754
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
Recommendations
Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) Semirings (16Y60)
Cites Work
- Unification in a combination of arbitrary disjoint equational theories
- Unification in commutative theories
- Unification in monoidal theories
- Unification theory
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
- Unification properties of commutative theories: a categorical treatment
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)
