Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic
Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic
复制标题
通过有界算术中的归纳定义来表征复杂性类
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Naohi Eguchi
中科院分区：
文献类型：
--
作者：
LI Cheng;INAGAKI Yoshihiko;SAKAKIBARA Yutaka;Naohi Eguchi
