scientific article
From MaRDI portal
Publication:3335752
zbMath0545.03003MaRDI QIDQ3335752
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Unification in varieties of idempotent semigroups ⋮ On unification: Equational theories are not bounded ⋮ Characterizations of unification type zero ⋮ A note on unification type zero ⋮ Unification in combinations of collapse-free regular theories ⋮ Unification modulo an equality theory for equational logic programming ⋮ History and basic features of the critical-pair/completion procedure ⋮ Enumerating outer narrowing derivations for constructor-based term rewriting systems ⋮ Unification in varieties of completely regular semigroups ⋮ Narrowing based procedures for equational disunification ⋮ Hilbert's tenth problem is of unification type zero ⋮ Unification under associativity and idempotence is of type nullary ⋮ The theory of idempotent semigroups is of unification type zero ⋮ Matching - a special case of unification? ⋮ On equational theories, unification, and (un)decidability
This page was built for publication:
