Temporal Linear Logic and Its Applications

https://hdl.handle.net/20.500.14094/D1002193

このアイテムのアクセス数:286件（2026-08-11 08:44 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
D1002193 (fulltext)	pdf	498 KB	96
D1002193y (abstract)	pdf	397 KB	99

メタデータID	D1002193
アクセス権	open access
出版タイプ	Version of Record
タイトル	Temporal Linear Logic and Its Applications
タイトル	時相線形論理とその応用
著者	著者名 Hirai, Takaharu 平井, 崇晴ヒライ, タカハル所属機関名神戸大学大学院自然科学研究科
言語	English (英語)
刊行日	2000-09
公開日	2014-11-25
学位授与番号	甲2193
学位名	博士（理学）
学位授与年月日	2000-09-30
学位授与機関	学位授与機関識別子 14501 学位授与機関名　　神戸大学 Kobe University
請求記号	理博-い-146 (社会科学系図書館)
カテゴリ	博士（理学）＞ 2000
カテゴリ	博士論文