A Uniform Proof-Theoretic Investigation of Linear Logic Programming

この論文にアクセスする

著者

収録刊行物

  • Journal of Logic and Computation

    Journal of Logic and Computation 4(2), 175-207, 1994

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

各種コード

  • NII論文ID(NAID)
    30024315181
  • 資料種別
    雑誌論文
  • DOI
    10.1093/logcom/4.2.175
  • データ提供元
    CJP引用 
ページトップへ