MARKOV'S PRINCIPLE, CHURCH'S THESIS AND LINDELOF'S THEOREM(Mathematical Logic and Applications'92)
スポンサーリンク
概要
著者
関連論文
- 鍵確認機能をもつ2パスDH型鍵配送プロトコル
- 鍵確認機能をもつ2パスDH型鍵配送プロトコル
- Informal Constructive Reverse Mathematics (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- Pointwise and Sequential Continuity in Constructive Analysis (Algebra, Logic and Geometry in Informatics)
- テスト関数の空間の完備性について (数学解析の計算機上での理論的展開とその遂行可能性)
- Feasibly constructive analysis (Relevance and Feasibility of Mathematical Analysis on the Computer)
- MARKOV'S PRINCIPLE, CHURCH'S THESIS AND LINDELOF'S THEOREM(Mathematical Logic and Applications'92)