Extraction of redundancy-free programs from constructive natural deduction proofs 自然演繹法の構成的証明からの冗長性の無いプログラムの抽出

この論文をさがす

著者

    • 高山, 幸秀, 1958- タカヤマ, ユキヒデ

書誌事項

タイトル

Extraction of redundancy-free programs from constructive natural deduction proofs

タイトル別名

自然演繹法の構成的証明からの冗長性の無いプログラムの抽出

著者名

高山, 幸秀, 1958-

著者別名

タカヤマ, ユキヒデ

学位授与大学

京都大学

取得学位

理学博士

学位授与番号

乙第7656号

学位授与年月日

1991-11-25

注記・抄録

博士論文

1アクセス

各種コード

  • NII論文ID(NAID)
    500000080847
  • NII著者ID(NRID)
    • 8000001012312
  • DOI(NDL)
  • NDL書誌ID
    • 000000245161
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ