文献

J-GLOBAL ID：200902050338607325   整理番号：89A0182687

会話型証明システムの知識の複雑さ

The knowledge complexity of interactive proof systems.

著者 (3件)： GOLDWASSER S (Massachusetts Inst. Technology, MA, USA) ,  MICALI S (Massachusetts Inst. Technology, MA, USA) ,  RACKOFF C (Univ. Toronto, ONT, CAN)
資料名： SIAM Journal on Computing (Society for Industrial and Applied Mathematics)  (SIAM Journal on Computing (Society for Industrial and Applied Mathematics))
巻： 18  号： 1  ページ： 186-208  発行年： 1989年02月 
JST資料番号： D0944A  ISSN： 0097-5397  CODEN： SMJCAT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 定理の証明は,一般に定理が真であるという単なる事実以上の多く...

シソーラス用語： 暗号 ,...
準シソーラス用語： 計算の複雑さ

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0182687&from=J-GLOBAL&jstjournalNo=D0944A") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 会話型 ,  証明 ,  知識 ,  複雑さ