Single identities for ternary Boolean algebras
From MaRDI portal
Publication:1343391
DOI10.1016/0898-1221(94)00213-5zbMath0811.06013MaRDI QIDQ1343391
R. Padmanabhan, William W. McCune
Publication date: 1 May 1995
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(94)00213-5
06E99: Boolean algebras (Boolean rings)
06-04: Software, source code, etc. for problems pertaining to ordered structures
Related Items
Using the prover ANDP to simplify orthogonality., Simplifying von Plato's axiomatization of constructive apartness geometry, Automatization of ternary Boolean algebras, Basis reduction for cryptogroups and orthogroups, Computer Solutions of Problems in Inverse Semigroups
Uses Software
Cites Work