A monad for full ground reference cells
A monad for full ground reference cells
复制标题
用于全地面参考单元的单子
DOI：
10.1109/lics.2017.8005109
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Kammar O
中科院分区：
文献类型：
--
作者：
Kammar O
登录
查看更多内容
影响因子：
--
作者：
Benton, Nick;Hofmann, Martin;Nigam, Vivek
通讯作者：
Nigam, Vivek
可扩展的规范和推理：程序逻辑的挑战
影响因子：
1.1
作者：
P. O'Hearn
通讯作者：
P. O'Hearn
基于效果的程序转换的正确性
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
M. Hofmann
通讯作者：
M. Hofmann
DOI：
--
发表时间：
2008-03
期刊：
--
影响因子：
--
作者：
O. Grumberg;T. Nipkow;C. Pfaller
通讯作者：
O. Grumberg;T. Nipkow;C. Pfaller
通过变异丰富
影响因子：
0.8
作者：
R. Gordon;A. Power
通讯作者：
A. Power