Efficient resource management for linear logic proof search

被引用文献2件

収録刊行物

  • LNAI

    LNAI 1050 67-81, 1996

    Springer-Verlag

被引用文献 (2)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1573387449619585920
  • NII論文ID
    10010358991
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ