...
机译:不定式组合还原系统
Research Institute of Electrical Communication, Tohoku University, 2-1-1 Katahira, Aoba-ku, Sendai 980-8577, Japan;
Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1,2100 Copenhagen Ø, Denmark;
higher-order term rewriting; combinatory reduction systems; infinitary rewriting;
机译:不定式组合归约系统:归一化归约策略
机译:不定式组合还原系统:合流
机译:无限组合逻辑的无意义套装
机译:关于不定式组合归约系统的归一化
机译:组合归约和抽象的新程序。
机译:结合药物复活卡波西氏肉瘤相关疱疹病毒(KSHV)的集成系统控制方法
机译:不定式组合归约系统:归一化归约策略
机译:比较组合减少系统和高阶重写系统