The computational complexity of logical theories
The computational complexity of logical theories
复制标题
逻辑理论的计算复杂性
DOI：
--
复制
发表时间：
1979
期刊：
影响因子：
--
通讯作者：
C. Rackoff
中科院分区：
文献类型：
--
作者：
J. Ferrante;C. Rackoff
- ehrenfeucht游戏和决策程序。-整数加法 - ehrenfeucht游戏决策过程的一个示例。-一些其他上限。-理论的直接产物。-下限前预上预期。-编写简短配方的技术定义复杂属性的技术.-配对函数理论的下限。-一些其他下限。
and background.- Ehrenfeucht games and decision procedures.- Integer addition - An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.