Hao Wu and Jie Wang are qualified to endorse.
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
Hao Wu: | Is registered as an author of this paper. Can endorse for cs.LO, cs.PL. (why?) |
Jie Wang: | Is registered as an author of this paper. Can endorse for cs.LG, cs.LO, cs.MS, cs.SC, math.AC, math.AG, math.CO, math.DS, math.FA, math.OA, math.OC, math.RA. (why?) |
Bican Xia, Xiakun Li, Naijun Zhan and Ting Gan are not registered as owners of this paper. (why?)