scientific article
From MaRDI portal
Publication:3703287
zbMath0581.68029MaRDI QIDQ3703287
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
diophantine equationscomplete sets of unifiersassociative-commutative unificationalgorithm for unification of termsminimal sets of unifiersunifiers of a pair of terms
Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Linear Diophantine equations (11D04)
Related Items
Associative-commutative unification ⋮ An algebraic approach to unification under associativity and commutativity ⋮ History and basic features of the critical-pair/completion procedure ⋮ Only prime superpositions need be considered in the Knuth-Bendix completion procedure ⋮ Unification in commutative idempotent monoids ⋮ Unification properties of commutative theories: A categorical treatment ⋮ “Syntactic” AC-unification ⋮ Unification theory ⋮ Complexity of unification problems with associative-commutative operators ⋮ Unification in commutative theories ⋮ Adventures in associative-commutative unification ⋮ Unification problem in equational theories ⋮ Competing for the \(AC\)-unification race ⋮ Diophantine equations, Presburger arithmetic and finite automata
