Journal of symbolic computation. 2001;32(3):291-301. doi: 10.1006/jsco.2000.0404 Q21.12025
Solving the Word Problem for Two Classes of Non-associative Rings by Rewriting
DOI: 10.1006/jsco.2000.0404
摘要 查看摘要
Journal of symbolic computation. 2001;32(3):291-301. doi: 10.1006/jsco.2000.0404 Q21.12025
DOI: 10.1006/jsco.2000.0404
摘要 查看摘要