[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - The topology of program termination
Cartwright, R.; Demers, A.
- 作者Cartwright, R.; Demers, A.
- 文件大小767.81KB
- 发表时间1988
- DOI10.1109/lics.1988.5128
- 页码296-308