scientific article
From MaRDI portal
Publication:3707399
zbMath0584.68050MaRDI QIDQ3707399
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyequational logicword problemcomputational logicequational theoryfirst order unification theory
Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Word problems (aspects of algebraic structures) (08A50)
Related Items
Unification problems with one-sided distributivity, Unification in combinations of collapse-free regular theories, Unification modulo an equality theory for equational logic programming, 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, Unification properties of commutative theories: A categorical treatment, Contraction algebras and unification of (infinite) terms, Subsumption computed algebraically, Unification under associativity and idempotence is of type nullary, Unification in commutative theories, Adventures in associative-commutative unification, Complete sets of unifiers and matchers in equational theories, Refutational theorem proving using term-rewriting systems
