A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke (2003)

Cached

Download Links

by Robert Veroff
Venue:J. Automated Reasoning
Citations:9 - 6 self