Logic programming in a fragment of intuitionistic linear logic

• HODAS Joshua S.

Journal

• Information and Computation

  Information and Computation 110 (2), 327-365, 1994

Details

• CRID: 1574231875363076224
• NII Article ID: 10022160226
• Data Source:
  • CiNii Articles