中国科学院数学与系统科学研究院期刊网
JSSC
Mixed Quantifier Prefixes over Diophantine Equations with Integer Variables
SUN Zhi-Wei
Mixed Quantifier Prefixes over Diophantine Equations with Integer Variables
SUN Zhi-Wei
系统科学与复杂性(英文) . 2025, (5): 2226 -2251 .  DOI: 10.1007/s11424-024-4159-z