摘要：Intuitionistic Light Affine Logic vs Safe Recursion on Notation: A Comparison for Characterizing FPTIME
作者：Luca Vercelli
论文ID：1002.3453
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-19
PDF 下载： 英文版 中文版pdf翻译中