Mixed Quantifier Prefixes over Diophantine Equations with Integer Variables
Crossref DOI link: https://doi.org/10.1007/s11424-024-4159-z
Published Online: 2024-09-16
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Sun, Zhi-Wei
Text and Data Mining valid from 2024-09-16
Version of Record valid from 2024-09-16
Article History
Received: 14 April 2024
Revised: 17 June 2024
First Online: 16 September 2024
Conflict of Interest
: The author declares no conflict of interest.