Efficient resource management for linear logic proof search

2 Citations

Journal

  • LNAI

    LNAI 1050 67-81, 1996

    Springer-Verlag

Citations (2)*help

See more

Details 詳細情報について

  • CRID
    1573387449619585920
  • NII Article ID
    10010358991
  • Data Source
    • CiNii Articles

Report a problem

Back to top