Logic Programming in a Fragment of Intuitionistic Linear Logic

Access this Article

Author(s)

Journal

  • Information and Computation

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

Cited by:  9

Codes

  • NII Article ID (NAID)
    30020826776
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top