Short equational bases for ortholattices (2004)

by W. Mccune , R. Padmanabhan , M. A. Rose , R. Veroff
Venue:Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
Citations:3 - 3 self

Document Versions

Short equational bases for ortholattices –W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff — 2004 — Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
Short equational bases for ortholattices –W. Mccune, R. Padmanabhan, M. A. Rose Z, R. Vero X — 2003 — Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
Short equational bases for ortholattices –W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff — 2004 — Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
Short equational bases for ortholattices –W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff — 2004 — Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL