scientific article

zbMath0657.68102MaRDI QIDQ3805960

Jim Christian, Patrick D. Lincoln

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

associative-commutative unification

Mathematics Subject Classification ID

Related Items

Infinite complete group presentations, “Syntactic” AC-unification, Set-term unification in a logic database language, Automata-driven automated induction, Competing for the \(AC\)-unification race