Semantic Models for a Logic of Partial Functions
Semantic Models for a Logic of Partial Functions
复制标题
偏函数逻辑的语义模型
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Cliff B. Jones
中科院分区：
文献类型：
--
作者：
Cliff B. Jones
登录
查看更多内容
经典重构的部分函数的类型化逻辑
影响因子：
0.6
作者：
Cliff B. Jones;K. Middelburg
通讯作者：
K. Middelburg
VDM 中的证明：从业者指南
DOI：
10.1007/978-1-4471-2033-9
发表时间：
1993
期刊：
Int. J. Softw. Informatics
影响因子：
--
作者：
J. Bicarregui;J. Fitzgerald;P. Lindsay;Richard C. Moore;B. Ritchie
通讯作者：
B. Ritchie
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
J. Fitzgerald
通讯作者：
J. Fitzgerald
影响因子：
0.5
作者：
Fitzgerald J
通讯作者：
Fitzgerald J
论处理部分函数的逻辑的可用性
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
Jh Cheng;Cliff B. Jones
通讯作者：
Cliff B. Jones