Robbins Algebras Are Boolean
Edit Page
Report
Scan day: 03 February 2014 UTC
34
Virus safety - good
Description: A web text by William McCune describing the solution of this problem by a theorem-proving program, with input files and the proofs.
Posted on the Web October, 1996. Last updated October, 2006. These Web pages contain some information on the solution of the Robbins problem. A paper on this topic appears in the [W. McCune, "Solution of the Robbins Problem", JAR 19(3), 263--276 (1997)].
Size: 264 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Robbins Algebras Are Boolean |
| Keywords: | |
| Description: | |
| IP-address: | 64.106.20.52 |
WHOIS Info
| NS | Name Servers: ARIEL.UNM.EDU 129.24.8.1 DEIMOS.UNM.EDU 129.24.8.4 |
| WHOIS | |
| Date | activated: 27-Aug-1986 last updated: 28-Apr-2008 expires: 31-Jul-2014 |