[ACM Press the 19th annual conference - San Antonio, Texas, United States (1991..-..)] Proceedings of the 19th annual conference on Computer Science - CSC '91 - Termination via conditional reductions
Baird, Timothy B.; Wilkerson, Ralph W.
- 作者Baird, Timothy B.; Wilkerson, Ralph W.
- 文件大小710.14KB
- 发表时间1991
- DOI10.1145/327164.327207
- 页码53-60