Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
polynomial programs
On Termination of Polynomial Programs with Equality Conditions
We investigate the termination problem of a family of multi-path polynomial programs (MPPs) over a general field $\mathbb{K}$, in which …
Yangjia Li
,
Mingshuai Chen
,
Liangran Zhao
,
Naijun Zhan
,
Hui Lu
,
Guohua Wu
,
Joost-Pieter Katoen
Cite
Code
Cite
×