遅延つき関数の完全性 (多値論理およびその応用)
スポンサーリンク
概要
著者
関連論文
- 特集「プログラミング言語 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との間のプログラム変換 (数理情報科学の研究)