1. (100%) Logic Programming in Affine Logic
, updating information in databases, and other resource-sensitive problems. Affine logic is related to ... programming, it is necessary to specify the differences between affine logic and classical logic, and
(ps) - 31-mar-2009