安全嵌套递归下的EXPTIME函数的新型功能代数

摘要:使用安全嵌套递归的方法对指数时间可计算函数进行了特征化

作者:Toshiyasu Arai and Naohi Eguchi

论文ID:cs/0607118

分类:Computational Complexity

分类简称:cs.CC

提交时间:2008-03-05

PDF 下载: 英文版 中文版pdf翻译中