Normalization of Linear Horn Clauses
Normalization of Linear Horn Clauses
复制标题
线性 Horn 子句的规范化
DOI：
10.1007/978-3-642-19829-8_16
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
K. N. Verma
中科院分区：
文献类型：
--
作者：
T. M. Gawlitza;H. Seidl;K. N. Verma
登录
查看更多内容
DOI：
10.1007/978-3-540-30579-8_24
发表时间：
2005-01
期刊：
--
影响因子：
--
作者：
J. Goubault-Larrecq;Fabrice Parrennes
通讯作者：
J. Goubault-Larrecq;Fabrice Parrennes
DOI：
10.1007/3-540-48660-7_29
发表时间：
1999-07
期刊：
--
影响因子：
--
作者：
Christoph Weidenbach
通讯作者：
Christoph Weidenbach
Horn 子句的迭代特化
DOI：
10.1007/978-3-540-78739-6_11
发表时间：
2008
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Christoffer Rosenkilde Nielsen;F. Nielson;H. R. Nielson
通讯作者：
H. R. Nielson
可规范化的霍恩子句、强可识别关系和 Spi
DOI：
10.1007/3-540-45789-5_5
发表时间：
2002
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
F. Nielson;H. R. Nielson;H. Seidl
通讯作者：
H. Seidl
通过分辨率决定H1
DOI：
10.1016/j.ipl.2005.04.007
发表时间：
2005
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
J. Goubault
通讯作者：
J. Goubault