机译:新鲜逻辑:FM和名义技术的证明理论和语义
Department of Computer Science, King's College, London, UK;
nominal logic; first-order logic; semantics of intuitionistic logic; kripke semantics; freshness; nominal sets; fraenkel-mostowski techniques;
机译:标称技术的基础:抽象语法中变量的逻辑和语义
机译:深度界布尔逻辑的语义和证明理论
机译:使用混合逻辑的标称和名词对帧语义进行量化
机译:名义逻辑程序的语义
机译:约束FM,一种窄带FM信令技术。
机译:一项随机对照试验比较了面对面和维基启发的名义组技术以使利益相关者参与慢性肾脏病研究的优先次序
机译:新鲜逻辑:FM和名义技术的证明理论和语义
机译:用Fm / Fm无线电遥测技术测量内部弹道性能