On termination of polynomial programs with equality conditions
Information and Computation, vol. 312, pp. 105487
Authors 4
-
Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences
Affiliation as printed
Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences, Beijing, China
University of Chinese Academy of Sciences, Beijing, China
-
Mingshuai Chen corresponding
Affiliation as printed
College of Computer Science and Technology, Zhejiang University, Hangzhou, China
-
Affiliation as printed
Nanjing Audit University, Nanjing, China
-
Joost-Pieter Katoen Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
Cited by 2 stored of 2
2 results
No patents citing this paper on Lens.org (checked 2026-10-06).