Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.
复制标题
术语重写系统中操作符号的可约化性及其在行为规范中的应用。
DOI：
--
复制
发表时间：
2010
影响因子：
0.7
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Masaki Nakamura;Kazuhiro Ogata;Kokichi Futatsugi
