Extraction of redundancy-free programs from constructive natural deduction proofs 自然演繹法の構成的証明からの冗長性の無いプログラムの抽出
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Extraction of redundancy-free programs from constructive natural deduction proofs
- タイトル別名
-
自然演繹法の構成的証明からの冗長性の無いプログラムの抽出
- 著者名
-
高山, 幸秀, 1958-
- 著者別名
-
タカヤマ, ユキヒデ
- 学位授与大学
-
京都大学
- 取得学位
-
理学博士
- 学位授与番号
-
乙第7656号
- 学位授与年月日
-
1991-11-25
注記・抄録
博士論文