Building Equational Proving Tools by Reflection in Rewriting Logic
Building Equational Proving Tools by Reflection in Rewriting Logic
复制标题
通过重写逻辑的反思构建方程证明工具
DOI：
10.1016/b978-044450556-9/50061-7
复制
发表时间：
2000
影响因子：
41.5
通讯作者：
J. Meseguer
中科院分区：
文献类型：
--
作者：
M. Clavel;F. Durán;S. Eker;J. Meseguer
