×

zbMATH — the first resource for mathematics

Unification in primal algebras, their powers and their varieties. (English) Zbl 0711.68092

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68W10 Parallel algorithms in computer science
03G05 Logical aspects of Boolean algebras
03B35 Mechanization of proofs and logical operations
68W30 Symbolic computation and algebraic computation
PDF BibTeX XML Cite
Full Text: DOI