Linear logic for nets with bounded resources☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This work was accomplished with the financial support of the Russian Foundation of Fundamental Researches (project code: 93-01-00490). The research described in this publication was made possible in part by Grant NYF000 from the International Science Foundation.
Copyright © 1996 Published by Elsevier B.V.