scientific article; zbMATH DE number 3936507

MaRDI QIDQ3707399zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

surveycomputational logicword problemequational theoryequational logicfirst order unification theory

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(24)

• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Adventures in associative-commutative unification
• Refutational theorem proving using term-rewriting systems
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• Unification theory
• scientific article; zbMATH DE number 1267560 (Why is no real title available?)
• Unification under associativity and idempotence is of type nullary
• Unification in commutative theories
• Unification modulo an equality theory for equational logic programming
• First-order unification using variable-free relational algebra
• Unification in combinations of collapse-free regular theories
• Unification problems with one-sided distributivity
• Unification in commutative idempotent monoids
• Generalizations of unification
• Essential unifiers
• Complete sets of unifiers and matchers in equational theories
• Equational problems and disunification
• Contraction algebras and unification of (infinite) terms
• Unification properties of commutative theories: a categorical treatment
• Subsumption computed algebraically
• scientific article; zbMATH DE number 1978365 (Why is no real title available?)
• scientific article; zbMATH DE number 4016225 (Why is no real title available?)
• scientific article; zbMATH DE number 2232298 (Why is no real title available?)
• A unification algorithm for second-order monadic terms

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)