scientific article; zbMATH DE number 4049133

MaRDI QIDQ3786022zbMATH OpenFDO

Authors Tobias Nipkow, Ursula Martin Webb

Publication date 1986

zbMATH Keywords

Boolean ringequational theoriesunification algorithm

Mathematics Subject Classification ID

Ring-theoretic properties of Boolean algebras (06E20) Conditions on elements (16U99) Symbolic computation and algebraic computation (68W30)

Recommendations

• Unification in Boolean rings
• Unification in Boolean rings and Abelian groups
• Boolean unification - the story so far
• On the complexity of Boolean unification
• scientific article; zbMATH DE number 1267560

Cited in

(8)

• Unification in varieties of idempotent semigroups
• Embedding Boolean expressions into logic programming
• Unification in Boolean rings
• Boolean unification - the story so far
• On equational theories, unification, and (un)decidability
• Unification in Boolean rings and Abelian groups
• Unification in a combination of arbitrary disjoint equational theories
• Unification in a combination of equational theories: an efficient algorithm

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786022)