In the no-cycle-appear case, graph rewriting is sound for all term rewriting.
英
美
释义
在无环出现的倩况下,图重写对一切项重写正确;
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载