[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - A universal characterization of the closed Euclidean interval
Escardo, M.H.; Simpson, A.K.
- 作者Escardo, M.H.; Simpson, A.K.
- 文件大小978.83KB
- 发表时间2001
- DOI10.1109/lics.2001.932488
- 页码115-125