On proving time constructibility of functions

Theoretical Computer Science - Tập 35 - Trang 215-225 - 1985
Kojiro Kobayashi1
1Department of Information Science, Tokyo Institute of Technology, Oh-okayama, Meguro-ku, Tokyo, Japan 152

Tài liệu tham khảo