Journal of symbolic computation. 2005;40(6):1285-1290. doi: 10.1016/j.jsc.2005.05.005 Q21.12025
On ordering free groups
DOI: 10.1016/j.jsc.2005.05.005
摘要 查看摘要
Journal of symbolic computation. 2005;40(6):1285-1290. doi: 10.1016/j.jsc.2005.05.005 Q21.12025
DOI: 10.1016/j.jsc.2005.05.005
摘要 查看摘要