[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Complexity in Predicative Arithmetic
Cooper, S. Barry; Löwe, Benedikt; Torenvliet, Leen
- 作者Cooper, S. Barry; Löwe, Benedikt; Torenvliet, Leen
- 文件大小125.83KB
- 发表时间2005
- DOI10.1007/11494645_47
- 页码378-384