...
机译:线性逻辑的自由指数模态的显式公式
Univ Paris Diderot, Sorbonne Paris Cit´e, IRIF, UMR 8243, CNRS, F-75205 Paris, France;
Univ Paris Diderot, Sorbonne Paris Cit´e, IRIF, UMR 8243, CNRS, F-75205 Paris, France;
LINA - Laboratoire d’Informatique de Nantes Atlantique, D´epartement informatique - EMN, Inria Rennes - Bretagne Atlantiquezd;
机译:关于序列的Banach空间和自由线性逻辑指数模态
机译:550-
机译:一个550- <内联 - 公式>
机译:线性逻辑的自由指数模态的显式公式
机译:认知悖论和显性模态逻辑。
机译:强大的...... - 在不确定非线性扰动存在下用于增强轮式移动机器人的跟踪性能的模糊逻辑控制
机译:线性逻辑的自由指数模态的显式公式
机译:显式可证性:直觉和模态逻辑的预期语义