Bottom-up logic programming; Forward reasoning; Linear logic; Deductive databases; Cost semantics; Abstract running time;
机译:由一组正交项定义的逻辑函数的线性化。二。算法方面
机译:最优非线性逻辑动态滤波的有限维递归算法
机译:分布式算法的逻辑分类(以面包店算法为例)
机译:线性逻辑算法
机译:逻辑变换及其在用于数字信号处理的非线性算法中的使用。
机译:葡萄糖水平和低血糖事件的预测:基于连续葡萄糖监测数据的线性和非线性数据驱动算法的头到头比较
机译:线性逻辑算法
机译:线性和双线性算术算法的加法和逻辑复杂性