On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 疋田 輝雄

  東京都立大学理学部

• 疋田 輝雄

  東京都立大学理学部数学科

関連論文

• 特集「プログラミング言語 Prolog」の編集にあたって
• 特集「日本のソフトウェアの草創期」の編集にあたって
• 遅延つき関数の完全性 (多値論理およびその応用)
• 小特集「プログラミング言語 : PascalとAda」の編集にあたって
• コンビネータによる言語処理系
• 19. 再帰呼出しの実現法 (アルゴリズムの最近の動向)
• Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論)
• Pascal総説 (プログラミング言語 : PascalとAda)
• On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)
• Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)

スポンサーリンク