Self-composition; Relational properties; Deductive verification; Specification; Frama-C;
机译:完全lambek演算的关系语义和关系证明系统
机译:完全lambek演算的关系语义和关系证明系统
机译:rpp2,rpp4和rpp5赋予大豆生锈的rpp2,rpp4和rpp5的表征
机译:RPP:通过自我组合自动证明关系属性
机译:古细菌RNase P蛋白的结构和相互作用:RPP29和RPP21。
机译:关于关系刺激处理的自动化:(外部)关系西蒙任务
机译:Rpp:通过自组合自动证明关系属性
机译:关系代数与等式证明