ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 124 情報理工学系研究科
  2. 10 コンピュータ科学専攻
  3. 1241020 博士論文(コンピュータ科学専攻)
  1. 0 資料タイプ別
  2. 20 学位論文
  3. 021 博士論文

π計算の圏論的および論理的分析

https://doi.org/10.15083/0002007206
https://doi.org/10.15083/0002007206
9a193556-7c5e-4e22-a5f9-aa70c1156b8b
名前 / ファイル ライセンス アクション
A38458.pdf A38458.pdf (747.6KB)
A38458_abstract.pdf A38458_abstract.pdf (524.2KB)
A38458_review.pdf A38458_review.pdf (116.7KB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2023-03-24
タイトル
タイトル A Categorical and Logical Analysis of the π-calculus
言語 en
タイトル
タイトル π計算の圏論的および論理的分析
言語 ja
言語
言語 eng
資源タイプ
資源 http://purl.org/coar/resource_type/c_db06
タイプ doctoral thesis
ID登録
ID登録 10.15083/0002007206
ID登録タイプ JaLC
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
著者 酒寄, 健

× 酒寄, 健

ja 酒寄, 健
東京大学

en Sakayori, Ken
The University of Tokyo

Search repository
著者所属
言語 ja
著者所属 情報理工学系研究科コンピュータ科学専攻
内容記述
内容記述タイプ Other
内容記述 学位の種別: 課程博士
言語 ja
内容記述
内容記述タイプ Other
内容記述 審査委員会委員 : (主査)東京大学教授 萩谷 昌己, 東京大学教授 高野 明彦, 東京大学教授 宮尾 祐介, 東京大学准教授 高前田 伸也, 京都大学教授 長谷川 真人
言語 ja
書誌情報
発行日 2021-03-19
学位名
言語 ja
学位名 博士(情報理工学)
学位授与機関
学位授与機関識別子Scheme kakenhi
学位授与機関識別子 12601
言語 ja
学位授与機関名 東京大学
言語 en
学位授与機関名 The University of Tokyo
研究科・専攻
Department of Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻)
学位授与年月日
学位授与年月日 2021-03-19
学位授与番号
学位授与番号 甲第38458号
学位記番号
ja
博情第742号
出版タイプ
出版タイプ VoR
戻る
0
views
See details
Views

Versions

Ver.1 2023-03-24 09:51:46.529682
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3