文献

J-GLOBAL ID：200902220729980295   整理番号：05A0804793

確率的オウログラム等価性と改善について

On Probabilistic Program Equivalence and Refinement

著者 (2件)： MURAWSKI Andrzej S. (Oxford Univ. Computing Lab., Oxford, GBR) ,  OUAKNINE Joeel (Oxford Univ. Computing Lab., Oxford, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3653  ページ： 156-170  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 確率 ,  等価性