scientific article
From MaRDI portal
Publication:3835440
zbMath0679.03002MaRDI QIDQ3835440
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 (13)
A new approach to general E-unification based on conditional rewriting systems ⋮ Completeness results for basic narrowing ⋮ Decidability of confluence and termination of monadic term rewriting systems ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Unification in varieties of completely regular semigroups ⋮ Combining matching algorithms: The regular case ⋮ Unification theory ⋮ AC-unification race: The system solving approach, implementation and benchmarks ⋮ Combining matching algorithms: The regular case ⋮ Unification in commutative theories ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ On equational theories, unification, and (un)decidability ⋮ Competing for the \(AC\)-unification race
This page was built for publication:
