The following pages link to Boolean Algebra. A Correction (Q4752671):
Displaying 6 items.
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Linear groupoids and the associated wreath products. (Q2456592) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
