recursion schemes; semi-unification; infinitary rewriting;
机译:通过锚定半统一的统一模态非嵌套递归方案
机译:寻找并行功能的珍珠:通过反统一在Haskell函数中自动进行并行递归方案检测
机译:在餐巾纸上半统一的不可行性
机译:通过锚定半统一统一模数无现的递归方案
机译:统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
机译:固氮酶催化N 2还原反应途径和动力学方案的统一
机译:通过锚定半统一统一模数非线性递归方案
机译:光谱维数递推的实现方案