1. Kyoto University Research Information Repository

検索


適用済条件:

検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-2 / 2.
  • 前
  • 1
  • 次
検索結果:
書誌情報ファイル
On Applying Scott's Logic to Termination Problems (アルゴリズムにおける証明論)
  ANDO, SHIGERU; ITO, TAKAYASU (1975-05)
  数理解析研究所講究録, 236: 1-7
file type icon 
Recursive Program Schemata and Formal Languages (アルゴリズムにおける証明論)
  ITO, TAKAYASU (1975-05)
  数理解析研究所講究録, 236: 15-20
file type icon 

絞り込み

分類