Jump to main content

博士論文

Nonelementary computational complexity of substructural logic (本文)

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

Available in National Diet Library

Find on the publisher's website

NDL Digital Collections

Digital data available（慶應義塾大学大学院文学研究科）

Check on the publisher's website

Nonelementary computational complexity of substructural logic (本文)

Persistent ID (NDL)
info:ndljp/pid/14550528
Material type
博士論文
Author
田中, 大海
Publisher
慶應義塾大学大学院文学研究科
Date granted
2025-07-09
Material Format
Digital
Capacity, size, etc.
-
Degree grantor and degree
慶應義塾大学,博士 (哲学)
View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii ResearchLeave the NDL website. から、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：

出版タイプ： VoRtype:text

Search by Bookstore

Search by Bookstore

Search by Bookstore

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.

Digital

Material Type
博士論文
Title
Nonelementary computational complexity of substructural logic (本文)
Author/Editor
田中, 大海
Author Heading
田中, 大海
Publication, Distribution, etc.
慶應義塾大学大学院文学研究科
Publication Date
2025-07-09
Publication Date (W3CDTF)
2025-07-09
Alternative Title
Bubun kōzō ronri no hishotōteki keisanryō
ブブン コウゾウ ロンリ ノ ヒショトウテキ ケイサンリョウ
部分構造論理の非初等的計算量
Degree Grantor
慶應義塾大学
Date Granted
2025-07-09