並行計算の理論の最近の動向 :3. 線形論理に基づく並行計算モデル:並行計算の論理的理解の試み A Concurrency ModeI Based on Linear Logic : Towards the Logical Understanding of Concurrency

この論文にアクセスする

この論文をさがす

著者

収録刊行物

  • 情報処理

    情報処理 37(4), 327-332, 1996-04-15

    一般社団法人情報処理学会

参考文献:  6件中 1-6件 を表示

  • Girardの線形論理とその応用

    岡田

    日本ソフトウェア科学会春期チュートリアル レクチャー ノート, 1993

    被引用文献1件

  • <no title>

    岡田

    情報科学のための論理, 1996

    被引用文献1件

  • <no title>

    線形論理とその応用

    被引用文献1件

  • <no title>

    竹内

    線形論理入門, 1995

    被引用文献1件

  • <no title>

    KOBAYASHI-YONEZAWA

    Proc. Workshop on Linear Logic and Logic Programming, 1992

    被引用文献1件

  • Linear Logic

    GIRARD

    Theoretical Computer Science 50, 1-102, 1987

    DOI 被引用文献13件

被引用文献:  4件中 1-4件 を表示

各種コード

  • NII論文ID(NAID)
    110002763417
  • NII書誌ID(NCID)
    AN00116625
  • 本文言語コード
    JPN
  • 資料種別
    Departmental Bulletin Paper
  • ISSN
    04478053
  • NDL 記事登録ID
    3934241
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-352
  • データ提供元
    CJP書誌  CJP引用  NDL  NII-ELS  IPSJ 
ページトップへ