Theorem proving; Coalgebras; Tupe theory; Bisimulation;
机译:增强的煤代双模拟
机译:弱表达的代数模态逻辑的双仿真
机译:代数双仿真和仿真的可表达性表征
机译:CoQ的拟临型推理:Bisimulation和λ - 加管方案
机译:表征推定激酶Coq8的稳定作用和Coq9多肽在酵母辅酶Q生物合成中的功能
机译:人类COQ9通过增强4-羟基苯甲酸的辅酶Q生物合成并稳定CoQ-Synthome来拯救coq9酵母突变体
机译:使用惰性CNF转换方案改进Coq命题推理
机译:概率转移系统的双模拟:一种代数方法.211软件工程