【10/4更新】2022年4月1日からのCiNii ArticlesのCiNii Researchへの統合について

組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造)

HANDLE オープンアクセス

書誌事項

タイトル別名
  • クミアワセシ $O$ ノ ヒキソ ループセイ ショウメイロン ト ロンリ ケイサン ノ コウゾウ
  • Non Ground Loop of Combinator $O$ (Proof theoretical study of the structure of logic and computation)

この論文をさがす

収録刊行物

被引用文献 (0)*注記

もっと見る

参考文献 (0)*注記

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1050001335715175424
  • NII書誌ID
    AN00061013
  • ISSN
    1880-2818
  • HANDLE
    2433/140466
  • 本文言語コード
    ja
  • 資料種別
    departmental bulletin paper
  • データソース種別
    • IRDB
ページトップへ