Department of Philosophy University of Helsinki;
general rules; inversion principle; linear logic;
机译:费曼运算中线性和双线性因子的提取
机译:用于线性逻辑的形式化元化学元理论
机译:线性框架的某些模态逻辑中超继结石的割细
机译:拓扑拟布尔代数的各种形式的后续计算
机译:参数连续法在应用力学中各种非线性边值问题的改进和应用。
机译:人造多孔金刚石结构种类繁多:具有线性天线装置的脉冲微波冷等离子体系统
机译:线性逻辑自动生成解析计算
机译:正确的品种和连续的极小。附录:关于投影曲线的正割变量中包含的线性子空间。