直観主義線形論理型言語LLPとそのコンパイラ処理系

田村, 直之; 番原, 睦則

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

このアイテムのアクセス数:134件（2025-07-02 14:54 集計）

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
90002835 (fulltext)	pdf	379 KB	37

メタデータ

ファイル出力

メタデータID	90002835
アクセス権	open access
出版タイプ	Version of Record
タイトル	直観主義線形論理型言語LLPとそのコンパイラ処理系
その他のタイトル	Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems
著者	著者ID A0899 研究者ID 1000060207248 KUID https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail?systemId=64672be7ad29e33a520e17560c007669 著者名田村, 直之 Tamura, Naoyuki タムラ, ナオユキ所属機関名情報基盤センター
著者	著者ID A1730 研究者ID 1000080290774 著者名番原, 睦則 Banbara, Mutsunori バンバラ, ムツノリ所属機関名情報基盤センター
言語	Japanese (日本語)
収録物名	コンピュータソフトウェア
巻(号)	30(2)
ページ	83-89
出版者	日本ソフトウェア科学会
刊行日	2013
公開日	2015-08-27
カテゴリ	情報基盤センター
カテゴリ	学術雑誌論文
権利	ここに掲載した著作物の利用に関する注意本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします．
権利	Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology(JSSST). This material is published on this web site with the agreement of the JSSST. Please comply with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.
関連情報	DOI https://doi.org/10.11309/jssst.30.2_83
関連情報	NAID 130004892260　CiNiiで表示

資源タイプ	journal article
ISSN	0289-6540　OPACで所蔵を検索　 CiNiiで学外所蔵を検索
NCID	AN10075819　OPACで所蔵を検索　 CiNiiで表示

閲覧可能ファイル

メタデータ

詳細を表示