scientific article; zbMATH DE number 4089519

zbMATH Open0666.03009MaRDI QIDQ3818293FDOQ3818293

Authors: Wolfram Buettner 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

latticesfunctional completenessexperiments in circuit designfunctional completion algorithmUnification in finite algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (6)

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