gramlich 中文意思是什麼
gramlich
解釋
格拉姆利克-
11 feng s. equivalence proving of term rewriting systems by induction. computer science, 2000, 27 : 5 - 7. in chinese 12 gramlich b. abstract relations between restricted termination and confluence properties of rewrite systems
本方法既可以通過在證明中使用命題來實現「向前證明」 ,也可以通過在證明的過程中發現引理來實現「向後證明」 。
分享友人