書誌事項
- タイトル別名
-
- Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems
- ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
- ソフトウェア ショウカイ チョッカン シュギ センケイ ロンリガタ ゲンゴ LLP ト ソノ コンパイラ ショリケイ
この論文をさがす
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 30 (2), 2_83-2_89, 2013
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001204737735808
-
- NII論文ID
- 10031151476
- 120005649151
-
- NII書誌ID
- AN10075819
-
- HANDLE
- 20.500.14094/90002835
-
- NDL書誌ID
- 024724548
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- IRDB
- NDL
- CiNii Articles
- KAKEN