[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 - On the computational power of universally polymorphic recursion
Kfoury, A.J.; Tiuryn, J.; Urzczyn, P.
- 作者Kfoury, A.J.; Tiuryn, J.; Urzczyn, P.
- 文件大小543.38KB
- 发表时间1988
- DOI10.1109/lics.1988.5102
- 页码72-81