lambda calculus; explicit substitutions; complexity; combinatorics;
机译:走向Lambda演算中替代解决方案的平均案例分析
机译:随机3可满足度实例的回溯分辨率的启发式平均案例分析
机译:带有显式替换的简单型Lambda微积分的健全性和完整性的形式化证明
机译:浅谈λ - 微积分替代分辨率的平均分析
机译:组合问题的平均案例分析。
机译:人类基本成纤维细胞生长因子的结构在1.6 A的分辨率上得到改善并通过硒酸取代对推测的肝素结合位点进行了分析。
机译:随机3-可满足性实例的回溯分辨率的启发式平均案例分析。
机译:对烷基取代酚和四甲基环丁-1,3-二酮的高分辨电子光谱