机译:简易型变性系统的续订诱导方法
名古屋大学大学院情報科学研究科;
名古屋大学大学院情報科学研究科;
名古屋大学大学院情報科学研究科;
名古屋大学大学院情報科学研究科;
名古屋大学大学院情報科学研究科;
名古屋大学大学院情報科学研究科;
帰納的定理の自動証明; 書換え帰納法; 単純型付き項書換え系; 高階関数;
机译:简单类型术语重写系统的重写归纳
机译:关于简单类型术语重写系统中的重写回归方法
机译:关于简单类型术语重写系统中的重写回归方法
机译:根据数据重写频率,TLC NAND闪存 r n中字线单元的阈值电压调制方法
机译:使用分层图重写语言LMNtal中状态之间的等价关系的模型抽象
机译:基于缩小仅在右侧出现的变量的术语重写系统的有效重写及其终止(计算机科学基础理论的新发展)