
Mixed Quantifier Prefixes over Diophantine Equations with Integer Variables
SUN Zhi-Wei
Journal of Systems Science & Complexity ›› 2025, Vol. 38 ›› Issue (5) : 2226-2251.
Mixed Quantifier Prefixes over Diophantine Equations with Integer Variables
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 |
|
〉 |