A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.

Gaoyan Xie, Zhe Dang, Oscar H. Ibarra

Browse the full ICALP paper archive.