Jump to main content

博士論文

Extraction of redundancy-free programs from constructive natural deduction proofs

Icons representing 博士論文
The cover of this title could differ from library to library.

Available with Digitized Contents Transmission Service

Find on the publisher's website

NDL Digital Collections

Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.

Become an official registered user >

Log in >

Extraction of redundancy-free programs from constructive natural deduction proofs

Call No. (NDL)
UT51-91-X106
Bibliographic ID of National Diet Library
000000245161
Persistent ID (NDL)
info:ndljp/pid/3058454
Material type
博士論文
Author
高山幸秀 [著]
Publisher
-
Date granted
平成3年11月25日
Material Format
Paper・Digital
Capacity, size, etc.
-
Degree grantor and degree
京都大学,理学博士
View All

Notes on use

Note (General)：

博士論文

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Search by Bookstore

Read in Disability Resources

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
博士論文
Title
Extraction of redundancy-free programs from constructive natural deduction proofs
Author/Editor
高山幸秀 [著]
Author Heading
高山, 幸秀, 1958- タカヤマ, ユキヒデ, 1958- ( 00861704 )Authorities
Alternative Title
自然演繹法の構成的証明からの冗長性の無いプログラムの抽出 シゼン エンエキホウ ノ コウセイテキ ショウメイ カラ ノ ジョウチョウセイ ノ ナイ プログラム ノ チュウシュツ
Degree Grantor
京都大学
Date Granted
平成3年11月25日
Date Granted (W3CDTF)
1991
Dissertation Number
乙第7656号
Degree Type
理学博士