inagaki 中文意思是什麼
inagaki
解釋
稻墻-
9 feng s, sakabe t, inagaki y. confluence property of simple frames in dynamic term rewriting calculus. ieice trans. information and systems, 1997, e80 - d : 625 - 645
它大幅度拓寬了前面證明方法的應用范圍，並可以應用於非終止非合流以及非左線性的項重寫系統。
分享友人