scientific article; zbMATH DE number 4053010

MaRDI QIDQ3789063zbMATH OpenFDO

Authors Tobias Nipkow

Publication date 1988

zbMATH Keywords

Boolean algebrasPost algebrasunification algorithmsmatrix rings over finite fieldsUnification in primal algebrasvarieties of primal algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• Unification in primal algebras, their powers and their varieties
• scientific article; zbMATH DE number 1324441
• scientific article; zbMATH DE number 4170980
• Algebraic and logical aspects of unification
• scientific article; zbMATH DE number 3882504
• Primitive varieties of algebras
• An algebraic approach to unification under associativity and commutativity
• scientific article; zbMATH DE number 3930337
• The primal algebra characterization theorem revisited
• scientific article; zbMATH DE number 4125601

Cited in

(5)

• Boolean unification - the story so far
• Unification in primal algebras, their powers and their varieties
• scientific article; zbMATH DE number 4089519 (Why is no real title available?)
• Symbolic constraint handling through unification in finite algebras
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)

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 Q3789063)