Functional programming; Resource consumption; Quan-titative analysis; Amortized analysis; Stirling numbers; Exponential;
机译:多元摊销资源分析
机译:多元摊销资源分析
机译:人力资源投标模型中的摊销实践:以战略成本管理为例
机译:带整数和数组的基于类型的摊余资源分析
机译:摊销分析的新应用
机译:宏基因组学的RAST服务器–公共资源用于元基因组的自动系统发育和功能分析
机译:具有潜力的类型:通过自动摊销分析的多项式资源边界