Tianxun Cai

According to our database, Tianxun Cai authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

基于k阶秩函数的线性赋值循环程序的终止性分析 (Termination Analysis of Linear Assignment Loop Program Based on k-ranking Functions).

Yi Li, Tianxun Cai, Wenyuan Wu

计算机科学, 2018