certification; completion; confluence; termination;
机译:形式化Knuth-Bendix订单和Knuth-Bendix完成
机译:Knuth-Bendix(-Huet)临界对定理的形式化
机译:Knuth-Bendix完成算法的抽象归约系统和思想
机译:正式化Knuth-Bendix订单和Knuth-Bendix完成
机译:形式化与创新:对过程形式化的人种学研究。
机译:使用移动电子平台和实时完成功能提高M4急诊医学学生轮班评估的完成率
机译:正式化Knuth-Bendix订单和Knuth-Bendix完成
机译:Knuth-Bendix完成算法及其在Z中的规范。