scientific article; zbMATH DE number 4089519

MaRDI QIDQ3818293zbMATH OpenFDO

Authors Wolfram Buettner

Publication date 1988

zbMATH Keywords

experiments in circuit designfunctional completenessfunctional completion algorithmlatticesUnification in finite algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4053010
• Unification in primal algebras, their powers and their varieties
• scientific article; zbMATH DE number 3871321
• Unification through projectivity
• Finite acyclic theories are unitary

Cited in

(7)

• Boolean unification - the story so far
• Unifiability and admissibility in finite algebras
• Unification in primal algebras, their powers and their varieties
• Unification through projectivity
• WHEN IS A UNIT LOOP f-UNITARY?
• Are All Uniform Algebras Amnm?
• Symbolic constraint handling through unification in finite algebras

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