搜索筛选:
搜索耗时6.1379秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：Sa'ed Abed,Yassine Mokhtari,
来源：计算机科学技术学报 年份：2004
Multiway Decision Graphs (MDGs) are a canonical representation of a subset of many-sorted first-order logic. This subset generalizes the logic of equality with...
[期刊论文] 作者：Sa'ed Abed,Otmanc Ait Mohamed,
来源：计算机科学技术学报（英文版） 年份：2004
In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep em...
[期刊论文] 作者：Sa'ed Abed,Otmane Ait Mohamed,Ghiath Al-Sammane,,
来源：Journal of Computer Science & Technology 年份：2009
In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs...
[期刊论文] 作者：Sa’ed Abed,Yassine Mokhtari,Otmane Ait-Mohamed,Sofiène Tahar,
来源：计算机科学技术学报(英文版) 年份：2011
Multiway Decision Graphs (MDGs) are a canonical representation of a subset of many-sorted first-order logic. This subset generalizes the logic of equality with...
相关搜索：
