Regular ArticleDecidability of Linear Affine Logic☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This article was originally part of the LICS 1995 special issue, which appeared in Information and Computation, Vol. 157, 2000.
- 1
The research described on this publication was made possible in part by grant NFQ000 from the International Science Foundation.
Copyright © 2001 Academic Press. All rights reserved.