scientific article; zbMATH DE number 3936507
From MaRDI portal
Publication:3707399
zbMATH Open0584.68050MaRDI QIDQ3707399FDOQ3707399
Authors:
Publication date: 1982
Title of this publication is not available (Why is that?)
Recommendations
surveycomputational logicword problemequational theoryequational logicfirst order unification theory
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)
Cited In (24)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Adventures in associative-commutative unification
- Title not available (Why is that?)
- Unification theory
- Refutational theorem proving using term-rewriting systems
- Title not available (Why is that?)
- 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
- Unification properties of commutative theories: a categorical treatment
- Contraction algebras and unification of (infinite) terms
- Title not available (Why is that?)
- Subsumption computed algebraically
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
