Paper Accepted by Inf. Comput.

Our paper has been accepted by Information and Computation.

Our paper titled “On Termination of Polynomial Programs with Equality Conditions” by Yangjia Li, Mingshuai Chen, Liangran Zhao, Naijun Zhan, Hui Lu, Guohua Wu, and Joost-Pieter Katoen has been accepted for publication at Information and Computation. This article shows that the set of non-terminating inputs of multi-path polynomial programs with equality conditions is algorithmically computable, which in turn yields the decidability of its termination on a given input.