中国科学院数学与系统科学研究院期刊网
素数阶群理论的量词消去算法及其上界
沈云付
Algorithmic Quantifier Elimination and Its Upper Bound for the Theory of Groups of Prime Orders
Yun Fu SHEN
数学学报 . 2005, (3): 549 -554 .  DOI: 10.12386/A2005sxxb0066