Relative Completeness for Logics of Functional Programs
Relative Completeness for Logics of Functional Programs
复制标题
函数式程序逻辑的相对完整性
DOI：
10.4230/lipics.csl.2011.470
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Reus B
中科院分区：
文献类型：
--
作者：
Reus B
登录
查看更多内容
可观察序列语言的完全抽象语义
影响因子：
1
作者：
Robert Cartwright;P. Curien;M. Felleisen
通讯作者：
M. Felleisen
合成域理论中的公理和（反）例子
影响因子：
0.8
作者：
J. V. Oosten;A. Simpson
通讯作者：
A. Simpson
局部布尔域中模型的普遍性结果
DOI：
--
发表时间：
2006
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
Tobias Löw;T. Streicher
通讯作者：
T. Streicher
一般综合域理论——一种逻辑方法
影响因子：
0.5
作者：
Bernhard Reus;T. Streicher
通讯作者：
T. Streicher
DOI：
10.1145/322108.322121
发表时间：
1979
期刊：
J. ACM
影响因子：
--
作者：
E. Clarke
通讯作者：
E. Clarke