Solving open problems in right alternative rings with Z-module reasoning
From MaRDI portal
Publication:1825048
DOI10.1007/BF00243001zbMath0683.68083MaRDI QIDQ1825048
Tie-Cheng Wang, Rick L. Stevens
Publication date: 1989
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items (2)
A case study of completion modulo distributivity and Abelian groups ⋮ Automated proofs of equality problems in Overbeek's competition
This page was built for publication: Solving open problems in right alternative rings with Z-module reasoning
