Publication:3707399
From MaRDI portal
zbMath0584.68050MaRDI QIDQ3707399
No author found.
Publication date: 1982
survey; equational logic; word problem; computational logic; equational theory; first order unification theory
68Q65: Abstract data types; algebraic specification
03B25: Decidability of theories and sets of sentences
08B05: Equational logic, Mal'tsev conditions
08A40: Operations and polynomials in algebraic structures, primal algebras
08A50: Word problems (aspects of algebraic structures)
Related Items
Unification under associativity and idempotence is of type nullary, Unification in commutative theories, Refutational theorem proving using term-rewriting systems, Unification problems with one-sided distributivity, Unification in combinations of collapse-free regular theories, A unification algorithm for second-order monadic terms, Unification in commutative idempotent monoids, Equational problems and disunification, Enumerating outer narrowing derivations for constructor-based term rewriting systems, Contraction algebras and unification of (infinite) terms, Subsumption computed algebraically, Adventures in associative-commutative unification, Complete sets of unifiers and matchers in equational theories, Unification modulo an equality theory for equational logic programming