plog denote the restriction of second-order logic, where second-order quantification ranges '/>
Boolean functions; computational complexity; Turing machines;
机译:二阶命题模态逻辑和单子交替层次
机译:图十一的一元二阶逻辑:连通图的层次分解
机译:受限弱合成的通用生成算法-二阶受限弱合成的生成算法
机译:受限二阶逻辑捕获的Polylog-time层次结构
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:解释生物组织中二阶易感性张量的原纤维胶原组织的分层模型
机译:在限制图类上扩展monadic二阶逻辑的表达能力