文献
J-GLOBAL ID:201802281577612374
整理番号:18A0342826
少なくとも1つの大域的不等式制約を持つツリーオートマトンに対する空集合問題はNP困難である【Powered by NICT】
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
著者 (3件):
Heam P.-C.
(FEMTO-ST - CNRS - Univ. Bourgogne Franche-Comte, France)
,
Hugot V.
(LIFL - INRIA, France)
,
Kouchnarenko O.
(FEMTO-ST - CNRS - Univ. Bourgogne Franche-Comte, France)
資料名:
Information Processing Letters
(Information Processing Letters)
巻:
118
ページ:
6-9
発行年:
2017年
JST資料番号:
E0513A
ISSN:
0020-0190
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)