梅拉妮·杰奎尔
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2015 [j1] 梅拉妮·杰奎尔 , 卡里姆·贝尔卡尼 , 大卫·德拉海耶 , 凯瑟琳·杜布瓦 :
使用深度嵌入和自动定理证明验证B证明规则。 柔和。 系统。 模型。 14 ( 1 ) : 101-119 ( 2015 ) [i2] 大卫·德拉海耶 , 梅拉妮·杰奎尔 :
使用带叠加演绎的Tableaux从自动形式证明中恢复直觉。 CoRR公司 腹肌/1501.01170 ( 2015 ) [i1] 梅拉妮·杰奎尔 , 卡里姆·贝尔卡尼 , 大卫·德拉海耶 , 凯瑟琳·杜布瓦 :
表使用叠加演绎的模理论。 CoRR公司 abs/1501.01301 ( 2015 ) 2013 【b1】 梅拉妮·杰奎尔 :
Automatisation des preuves pour la ve rification des règles de l'Alerier B.(工作室B规则验证的自动化证明)。 法国巴黎国家美术馆, 2013 2012 【c2】 梅拉妮·杰奎尔 , 卡里姆·贝尔卡尼 , 大卫·德拉海耶 , 凯瑟琳·杜布瓦 :
使用叠加演绎的Tableaux模理论——应用Zenon自动定理证明程序验证B证明规则。 国际JCAR 2012 : 332-338 2011 [c1] 梅拉妮·杰奎尔 , 卡里姆·贝尔卡尼 , 大卫·德拉海耶 , 凯瑟琳·杜布瓦 :
使用深度嵌入和自动定理证明验证B证明规则。 SEFM公司 2011 : 253-268
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)