Boolean Algebra. A Correction
From MaRDI portal
Cited in
(7)- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
- Parallel constructions of maximal path sets and applications to short superstrings
- Relational characterisations of paths
- Linear groupoids and the associated wreath products.
- Mechanizing complemented lattices within Mizar type system
- On Automating the Calculus of Relations
- A Hierarchy of Algebras for Boolean Subsets
This page was built for publication: Boolean Algebra. A Correction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4752671)