Bunched logic; Cut-elimination; Display calculus; Proof theory;
机译:捆绑逻辑显示
机译:束逻辑的统一显示证明理论
机译:通过其底层捆绑逻辑的分离型逻辑对偶定理
机译:束缚逻辑和量子分离逻辑的量子解释
机译:下一代X射线监测器,用于世界上最高亮度粒子撞机的纳米梁尺寸的束束监测
机译:DNA逻辑门制成的字母数字可视显示器用于病原体药物敏感性测试
机译:捆绑逻辑显示
机译:具有内部NmOs地址逻辑和显示驱动器的电泳图像显示器