Search

Liangran Zhao

Yangjia Li, Mingshuai Chen, Liangran Zhao, Naijun Zhan, Hui Lu, Guohua Wu, Joost-Pieter Katoen (2026). On Termination of Polynomial Programs with Equality Conditions. Inf. Comput.. Cite Code

Published with Wowchemy — the free, open source website builder that empowers creators.