scientific article
From MaRDI portal
Publication:3779785
zbMath0638.68102MaRDI QIDQ3779785
Alexander Herold, Hans-Jürgen Bürckert, Manfred Schmidt-Schauss
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Characterizations of unification type zero ⋮ A note on unification type zero ⋮ Unification modulo an equality theory for equational logic programming ⋮ Enumerating outer narrowing derivations for constructor-based term rewriting systems ⋮ Completion for unification ⋮ The unification hierarchy is undecidable ⋮ Complete axiomatizations of some quotient term algebras ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Matching - a special case of unification? ⋮ On equational theories, unification, and (un)decidability ⋮ Unification in permutative equational theories is undecidable
This page was built for publication:
