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

• 田村 直之

  神戸大学情報基盤センター

• 番原 睦則

  神戸大学情報基盤センター

書誌事項

タイトル別名

• Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems
• ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
• ソフトウェア ショウカイ チョッカン シュギ センケイ ロンリガタ ゲンゴ LLP ト ソノ コンパイラ ショリケイ

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 30 (2), 2_83-2_89, 2013

  日本ソフトウェア科学会

詳細情報

• CRID: 1390001204737735808
• NII論文ID: 10031151476
• NII論文ID: 120005649151
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.30.2_83
• HANDLE: 20.500.14094/90002835
• NDL書誌ID: 024724548
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024724548
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN