机译:聚焦直觉演算的资源感知语义
Univ Paris Diderot, CNRS, IRIF, Paris, France;
Univ Fed Goias, INF, Goiania, Go, Brazil;
机译:邻里语义与直观无限逻辑的标记微积分
机译:直觉逻辑中聚焦与收缩的语义分析
机译:演算与资源语义学导论
机译:LJQ:针对直觉逻辑的重点微积分
机译:美国参议院的社会和语义网络分析:关注问题和超链接结构。
机译:没有意识的自我意识?隐含自我关注和行为自我调节
机译:LJQ:针对直觉逻辑的高度集中的演算