文献
J-GLOBAL ID:201002261497857563   整理番号:10A1107631

状態を伴う二次元ベクトル加算システムに関するゲームに対するZ到達可能性問題はPである

Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P
著者 (1件):
資料名:
巻: 6227  ページ: 104-119  発行年: 2010年 
JST資料番号: H0078D  ISSN: 0302-9743  資料種別: 会議録 (C)
発行国: ドイツ (DEU)  言語: 英語 (EN)
タイトルに関連する用語 (4件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る