scientific article
From MaRDI portal
Publication:3219154
zbMath0555.68065MaRDI QIDQ3219154
No author found.
Publication date: 1984
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 (14)
Semi-unification of two terms in Abelian groups ⋮ Associative-commutative unification ⋮ Unification in combinations of collapse-free regular theories ⋮ Unification in commutative semigroups ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Efficient general AGH-unification ⋮ Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis ⋮ Unification in commutative theories ⋮ Unification in Boolean rings and Abelian groups ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Efficient General Unification for XOR with Homomorphism ⋮ Complete sets of unifiers and matchers in equational theories ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups ⋮ Unification problem in equational theories
This page was built for publication:
