INRIA-Rocquencourt, France and Tsinghua University, Beijing, China;
University of Utrecht, The Netherlands;
rewriting; confluence; completion; decreasing diagrams;
机译:约束处理规则的图解汇合
机译:从图形融合到模块化
机译:比较图表记录和传统书面记录的鼓膜乳突手术:完成第二轮25例审核周期:我们的经验
机译:图解汇合和完成
机译:双曲线弱通用交替结的图解和几何不变
机译:欧氏格场理论的Luttinger-Ward形式主义的变体结构和粗体图解展开
机译:从图解融合到模块化
机译:多个煤层完井项目的Rock Creek甲烷 - 多层煤层完井项目的钻井和完井技术演示