机译:关系模型对于乘法指数线性逻辑是内射性的(不减弱)
Denotational semantics; Injective model; Linear logic; Proof-nets;
机译:关系模型对于乘法指数线性逻辑是内射性的(不减弱)
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
机译:乘法指数线性逻辑的矩阵表征
机译:乘幂指数线性逻辑的按层次分析
机译:使用对数乘法模型和其他对数非线性模型(对数表,频率数据,关联模型)分析离散数据。
机译:体外电刺激下腓肠肌等长弛豫过程动力学分析的线性组合双指数模型
机译:1关系模型是多重指数线性逻辑的表达(没有弱化)