文献
J-GLOBAL ID:201202211790067280
整理番号:12A1024699
原子的否定を伴う存在連合1次論理における含意の複雑性について
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
著者 (5件):
MUGNIER Marie-Laure
(Univ. Montpellier 2, FRA)
,
SIMONET Genevieve
(Univ. Montpellier 2, FRA)
,
THOMAZO Michaeel
(Univ. Montpellier 2, FRA)
,
MUGNIER Marie-Laure
(INRIA Sophia Antipolis, FRA)
,
THOMAZO Michaeel
(INRIA Sophia Antipolis, FRA)
資料名:
Information and Computation
(Information and Computation)
巻:
215
ページ:
8-31
発行年:
2012年06月
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)