Combination problems for commutative/monoidal theories or how algebra can help in equational unification
type: Item
instance of: scholarly article
title: Combination problems for commutative/monoidal theories or how algebra can help in equational unification
zbMATH Open document ID: 0853.03008
DOI: 10.1007/BF01195536
author: Franz Baader
author: Werner Nutt
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 1997-01-06T00:00:00Z
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 08A70
Mathematics Subject Classification ID: 18E05
Mathematics Subject Classification ID: 16Y60
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 909646
zbMATH Keywords: equational theories
zbMATH Keywords: equational unification
zbMATH Keywords: semiadditive categories
zbMATH Keywords: algorithms
zbMATH Keywords: systems of linear equations over a semiring
zbMATH Keywords: Abelian monoids
zbMATH Keywords: Abelian groups
zbMATH Keywords: commutative theories
zbMATH Keywords: monoidal theories
MaRDI profile type: Publication
cites work: Unification in commutative theories
cites work: Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
cites work: Q4264733
cites work: Q4000281
cites work: Q5515373
cites work: Extending SLD resolution to equational horn clauses using E-unification
cites work: Complete sets of transformations for general E-unification
cites work: Q5682456
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: A theory of complete logic programs with equality
cites work: Completion of a Set of Rules Modulo a Set of Equations
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Algebraic semantics for modal logics I
cites work: A Human Oriented Logic for Automatic Theorem-Proving
cites work: Basic narrowing revisited
cites work: The unification hierarchy is undecidable
cites work: Complete Sets of Reductions for Some Equational Theories
cites work: Q5678447
cites work: Q5677651
cites work: Unification in a combination of arbitrary disjoint equational theories
cites work: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
cites work: Automated deduction by theory resolution
cites work: Q3853703
full work available at URL: https://doi.org/10.1007/bf01195536
OpenAlex ID: W2004460530
Recommended article: Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
Recommended article: Variations on algebra: Monadicity and generalisations of equational theories
Recommended article: Term Rewriting and Applications
Recommended article: An algebraic approach to unification under associativity and commutativity
Recommended article: Q3703287
Recommended article: Q3221962
Recommended article: Commutants for enriched algebraic theories and monads
Recommended article: Adventures in associative-commutative unification
Recommended article: Q3805960
Recommended article: Unions of Equational Monadic Theories
description: scientific article; zbMATH DE number 909646