プログラムの起源を探る
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-09-25
著者
関連論文
- On Computable Tree Functions (Algorithms in Algebraic Systems and Computation Theory)
- プログラムの起源を探る
- 論理学の歴史とコンピュータ (数学解析の計算機上での理論的展開とその遂行可能性)
- The Greatest Fixed-Points and Rational Omega-Tree Languages : Extended abstract(Algorithms : Mathematical Foundations and Applications)