Galaxy >> Website Directory

HelpBookmark Add a LISTING - it's free!Login
Latest HeadlinesAdd To Search Providers
Community (163) Discussion (48) Events (97) For Sale (837) Help Wanted (109) Website Directory
Personals (96) Projects / Engagements (30) Real Estate (315) Resumes (11) Services (1,051) Latest Headlines
Home Science Mathematics Algebra

only in this directory

Algebra
http://www-unix.mcs.anl.gov/~mccune/papers/robbins/


Robbins Algebras Are Boolean
Robbins Algebras Are Boolean William McCune Automated Deduction Group Mathematics and Computer Science Division Argonne National Laboratory Posted on the Web October 15, 1996. Last updated February 5, 1998. These Web pages contain some information on the solution of the Robbins problem. A paper on this topic appears in the Journal of Automated Reasoning . Here is a preprint. The JAR paper has ...




 

Copyright © 2008   GALAXY     About     Contact     Terms of Use     Privacy Policy     Add Site to Directory