机译:差分线性逻辑简介:证明网,模型和反导数
CNRS, IRIF, UMR 8243, Univ Paris Diderot, Sorbonne Paris Cit´e F-75205 Paris, France;
机译:方便的防差线类别
机译:Mackey-完全空间和幂级数-微分线性逻辑的拓扑模型
机译:JETN上用于等离子体密度控制的气体引入模块的非线性模型JET上用于等离子体密度控制的气体引入模块的非线性模型
机译:从证明网到用于多项式时间计算的线性逻辑类型系统
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:参数相关的线性和非线性动态偏微分方程模型的降阶建模
机译:差分线性逻辑简介:证明网,模型和反导数
机译:一阶谓词逻辑模型理论及相关时态逻辑