scientific article
From MaRDI portal
Publication:3786022
zbMath0643.68140MaRDI QIDQ3786022
Tobias Nipkow, Ursula Martin Webb
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Conditions on elements (16U99) Ring-theoretic properties of Boolean algebras (06E20)
Related Items
Unification in varieties of idempotent semigroups ⋮ Embedding Boolean expressions into logic programming ⋮ Unification in Boolean rings ⋮ Unification in Boolean rings and Abelian groups ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Boolean unification - the story so far ⋮ On equational theories, unification, and (un)decidability
