scientific article
From MaRDI portal
Publication:3716322
zbMath0588.68046MaRDI QIDQ3716322
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Associative-commutative unification ⋮ History and basic features of the critical-pair/completion procedure ⋮ On termination of the direct sum of term-rewriting systems ⋮ Unification in Boolean rings and Abelian groups ⋮ Matching - a special case of unification? ⋮ On equational theories, unification, and (un)decidability
This page was built for publication:
