结构归纳法相关论文
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法......
公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式，由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了......
