Single axioms for groups and Abelian groups with various operations
暂无分享,去创建一个
[1] Michaël Rusinowitch,et al. On Word Problems in Equational Theories , 1987, ICALP.
[2] William McCune,et al. OTTER 1.0 Users' Guide , 1990 .
[3] William McCune,et al. Single Axioms for the Left Group and the Right Group Calculi , 1992, Notre Dame J. Formal Log..
[4] B. H. Neumann. Yet another single law for groups , 1986 .
[5] Alfred Tarski. Ein Beitrag zur Axiomatik der Abelschen Gruppen , 1938 .
[6] Donald E. Knuth,et al. Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research. , 1970 .
[7] Kenneth Kunen. Single axioms for groups , 2004, Journal of Automated Reasoning.
[8] William McCune,et al. Automated discovery of new axiomatizations of the left group and right group calculi , 1992, Journal of Automated Reasoning.
[9] B. H. Neumann. Another single law for groups , 1981, Bulletin of the Australian Mathematical Society.
[10] F. Swatonek,et al. Ein Beitrag zur , 1972 .
[11] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[12] Deepak Kapur,et al. Proving equivalence of different axiomatizations of free groups , 2004, Journal of Automated Reasoning.
[13] Alfred Tarski,et al. Equational Logic and Equational Theories of Algebras , 1968 .
[14] McCune. Proofs for group and Abelian group single axioms , 1991 .