Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Hui Lu
Publications with FICTION
Preprints
Yangjia Li
,
Naijun Zhan
,
Mingshuai Chen
,
Hui Lu
,
Guohua Wu
,
Joost-Pieter Katoen
(2020).
On Termination of Polynomial Programs with Equality Conditions
.
arXiv
.
Preprint
.
PDF
Cite
Code
DOI
Cite
×