scientific article; zbMATH DE number 3936507

MaRDI QIDQ3707399zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

computational logicequational logicequational theoryfirst order unification theorysurveyword problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Operations and polynomials in algebraic structures, primal algebras (08A40) Word problems (aspects of algebraic structures) (08A50) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3871321
• Algebraic and logical aspects of unification
• scientific article; zbMATH DE number 1552528
• scientific article; zbMATH DE number 4155934
• scientific article; zbMATH DE number 4016225

Cited in

(24)

• 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
• Generalizations of unification
• Complete sets of unifiers and matchers in equational theories
• Essential unifiers
• Unification modulo an equality theory for equational logic programming
• Unification theory
• First-order unification using variable-free relational algebra
• scientific article; zbMATH DE number 4016225 (Why is no real title available?)
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• scientific article; zbMATH DE number 1267560 (Why is no real title available?)
• scientific article; zbMATH DE number 1978365 (Why is no real title available?)
• Unification properties of commutative theories: a categorical treatment
• scientific article; zbMATH DE number 2232298 (Why is no real title available?)
• Unification under associativity and idempotence is of type nullary
• Unification in commutative theories
• Refutational theorem proving using term-rewriting systems

This page was built for publication:

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