Single axioms for groups-Reference-Cited by-同舟云学术

Single axioms for groups

Published:1992-12 Issue:3 Volume:9 Page:291-308
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:Journal of Automated Reasoning

Author:

Kunen Kenneth

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00245293.pdf

Reference6 articles.

1. McCune, W. W., ?OTTER 2.0 users guide?, Technical Report ANL-90/9, Argonne National Laboratory, 1990.

2. McCune, W. W., ?What's new in OTTER 2.2?, Technical Memo ANL/MCS-TM-153, Mathematics and Computer Science Division, Argonne National Laboratory, 1991.

3. McCune, W.W., ?Single axioms for groups and Albelian groups with various operations?, Preprint MCS-P270-1091, Mathematics and Computer Science Division, Argonne National Laboratory, 1991.

4. NeumannB. H., ?Another single law for groups?, Bull. Australian Math. Soc. 23, 81?102, 1981.

5. NeumannB. H., ?Yet another single law for groups?, Illinois J. Math. 30, 295?300, 1986.

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synthesizing axiomatizations using logic learning;Proceedings of the ACM on Programming Languages;2022-10-31

2. A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods;Logical Methods in Computer Science;2022-09-21

3. Basis reduction for cryptogroups and orthogroups;Semigroup Forum;2020-09-14

4. A method for finding new sets of axioms for classes of semigroups;Archive for Mathematical Logic;2012-03-24

5. Ken Kunen: Algebraist;Topology and its Applications;2011-12