文献

J-GLOBAL ID：201702238463602345   整理番号：17A1053478

どこも密でないグラフの一階特性の決定

Deciding First-Order Properties of Nowhere Dense Graphs

著者 (4件)： GROHE Martin (RWTH Aachen, Aachen, DEU) ,  KREUTZER Stephan (Technische Univ. Berlin, Berlin, DEU) ,  SIEBERTZ Sebastian (Technische Univ. Berlin, Berlin, DEU) ,  SIEBERTZ Sebastian (Univ. Warsaw, Warsaw, POL)
資料名： Journal of the ACM (Association for Computing Machinery)  (Journal of the ACM (Association for Computing Machinery))
巻： 64  号： 3  ページ： 17:1-17:32  発行年： 2017年 
JST資料番号： C0267A  ISSN： 0004-5411  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

シソーラス用語： *一階論理 ,  *グラフ理論 ,  計算量 ,  計算理論 ,  モデル検査 ,  パラメタリゼーション ,  厳密解 ,  アルゴリズム
準シソーラス用語： モデルチェッキング ,  パラメータ化 ,  計算複雑性 ,  厳密アルゴリズム

分類 (2件)： 論理代数  (JB03000H) ,  グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (1件)： グラフ