ランダムなビット列における連 (証明論と論理・計算の構造)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 川村 保敬

  首都大学東京理工学研究科数理情報科学専攻

• 鈴木 登志雄

  首都大学東京理工学研究科数理情報科学専攻

• 鈴木 登志雄

  首都大学東京理工学研究科

関連論文

• ランダムなビット列における連 (証明論と論理・計算の構造)
• Failure of the uniqueness of eigen-distribution on random assignments for game trees (Formal Systems and Computality Theory)
• ランダム性をもったゲーム木を読み切るコストの期待値 (形式体系と計算理論)
• Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic)
• Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)
• 手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論)
• On Splitting Numbers(Mathematical Logic and Applications'92)

スポンサーリンク