Implicit computational complexity; Cons-free programming; EXPTIME hierarchy; Non-deterministic programming; Unitary variables;
机译:复杂性层次结构和高阶无限期重写
机译:复杂性层次结构和高阶无条件重写
机译:分类理论语义学在高阶函数代数刻画复杂性分类中的应用
机译:非确定性在高阶隐式复杂性中的力量表征复杂性类别使用非确定性无限期编程
机译:常规语言的不确定通信复杂度
机译:表征异丙酚对脑电功率谱中复杂性和稳定性的影响
机译:高阶隐式复杂性中的非决定论的力量
机译:高阶课程的复杂性