Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Liangran Zhao
Publications with FICTION
Journal Articles
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
Cite
×