计算最终线性秩函数的新方法 (New Method for Computing Eventual Linear Ranking Functions)

Guang Zhu, Yi Li, Wenyuan Wu. 计算最终线性秩函数的新方法 (New Method for Computing Eventual Linear Ranking Functions). 计算机科学, 44(1):194-198, 2018. [doi]

Abstract

Abstract is missing.