中国科学院数学与系统科学研究院期刊网
JSSC
PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD
Zhenyu HUANG
PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD
Zhenyu HUANG
Journal of Systems Science and Complexity . 2012, (4): 778 -791 .  DOI: 10.1007/s11424-012-0168-4