Single Axioms for Odd Exponent Groups (1995)

Cached

Download Links

by Joan Hart , Kenneth Kunen
Venue:J. Automated Reasoning
Citations:14 - 6 self

Documents Related by Co-Citation

294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
136 A Survey of Binary Systems – R H Bruck - 1971
70 SEM: A System for Enumerating Models – Jian Zhang, Hantao Zhang - 1995
10 Moufang quasigroups – K Kunen - 1996
60 2.0 Users Guide – W McCune, OTTER - 1990
8 A Computational Logic Handbook, 2nd ed – R S Boyer, J S Moore - 1998
14 The Linked Inference Principle, I: The Formal Treatment – R Veroff, L Wos - 1982
31 A fascinating country in the world of computing: your guide to automated reasoning – Larry Wos, Gail W Pieper - 1999
8 Application of Automated Deduction to the Search for Single Axioms for Exponent Groups – William Mccune, Larry Wos - 1995
130 Solution of the Robbins Problem – William Mccune - 1997
7 The Shortest Single Axioms for Groups of Exponent 4 – Kenneth Kunen - 1993
26 Moufang loops of small order – Orin Chein - 1978
10 Loops whose inner mappings are automorphisms – R H Bruck, L J Paige - 1956
22 Single axioms for groups – K Kunen - 1992
9 The Hot List Strategy – Larry Wos, Gail W. Pieper - 1997
20 The structure of conjugacy closed loops – Kenneth Kunen - 2000
10 The Resonance Strategy – Larry Wos - 1992
8 Conquering the Meredith Single Axiom – Larry Wos - 2000
29 Solving Open Questions and Other Challenge Problems Using Proof Sketches – Robert Veroff - 2001