Tianxun Cai

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Web Search Engines

Ranking Functions

Top Venues

计算机科学

Publications

Yi Li, Tianxun Cai, Wenyuan Wu
基于k阶秩函数的线性赋值循环程序的终止性分析 (Termination Analysis of Linear Assignment Loop Program Based on k-ranking Functions). 计算机科学 45 (6) (2018)