Publication:3818293
From MaRDI portal
zbMath0666.03009MaRDI QIDQ3818293
Publication date: 1988
lattices; functional completeness; experiments in circuit design; functional completion algorithm; Unification in finite algebras
03B35: Mechanization of proofs and logical operations