Labelled weighted transition system; Multi-modal logic; Maximal fixed point computation;
机译:关于递归加权逻辑的可解锁性
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
机译:使用谐振隧道晶体管的MOBILE(单稳态-双稳态转换逻辑元件)的加权和阈值逻辑运算
机译:加权转移系统的可确定递归逻辑
机译:以准“二维”递归晶格建模的单原子系统表面上的热力学和理想的玻璃化转变。
机译:递归指数加权N偏最小二乘回归与递归验证的超参数在脑机接口应用中
机译:具有扩展域的模态逻辑乘积的非本原递归可判定性
机译:走向域的永恒逻辑:过渡系统的abramsky逻辑.211软件工程