17 citations · 81 across the 44 of their papers we have counts for
1 paper · 2 filters
Yangjia Li, Naijun Zhan, Mingshuai Chen +3
We investigate the termination problem of a family of multi-path polynomial programs (MPPs), in which all assignments to program variables are polynomials, and test conditions of l…