机译:基于复杂性空间的递送程序的渐近复杂性分析和表示语义的共同数学框架
机译:部分函数的复杂性空间:复杂性分析和指称语义之间的联系
机译:通过复杂度空间进行算法渐近复杂度分析的数学基础的新结果
机译:Baire部分拟度量空间:计算机科学中渐近复杂性分析的数学工具
机译:广义复杂度空间在词域义指语义中的应用
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:高斯矢量源的低复杂性和渐近最优编码策略
机译:Baire局部拟度量空间,不动点理论和递归程序渐近复杂性分析的新结果