机译:具有右浅依赖对的术语重写系统的终止可判定性和最内层终止
Graduate School of Information Science, Nagoya University, Nagoya-shi, 464-8601 Japan Suzuki Motor Corporation;
rnGraduate School of Information Science, Nagoya University, Nagoya-shi, 464-8601 Japan;
rnGraduate School of Information Science, Nagoya University, Nagoya-shi, 464-8601 Japan;
looping sequence; argument propagation;
机译:具有右浅依赖对的术语重写系统的终止可判定性和最内层终止
机译:包含浅依赖对的术语重写系统的终止属性可判定性
机译:包含浅依赖对的术语重写系统的终止属性可判定性
机译:对于线性右浅术语重写系统,可以确定最内在的可达性和上下文敏感的可达性属性
机译:长期游离空气CO2富集终止对火炬松为主的森林中生理和碳分配的影响。
机译:通过依赖对的相对终止
机译:半构造词重写系统的最内部终止和上下文敏感终止的可判定性