文献

J-GLOBAL ID：201402268946567730   整理番号：14A0905560

有限サイズ出力による局所的決定と検証

Local Decision and Verification with Bounded-Size Outputs

著者 (3件)： ARFAOUI Heger (Univ. Paris Diderot, FRA) ,  FRAIGNIAUD Pierre (Univ. Paris Diderot, FRA) ,  PELC Andrzej (Univ. du Quebec en Outaouais, CAN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 8255  ページ： 133-147  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： サイズ ,  検証