Decision problems for propositional linear logic
- 29 April 1992
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 56 (1-3) , 239-311
- https://doi.org/10.1016/0168-0072(92)90075-b
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A linear semantics for allowed logic programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Normal process representativesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Single-threaded polymorphic lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The structure of multiplicativesArchive for Mathematical Logic, 1989
- The linear abstract machineTheoretical Computer Science, 1988
- The semantics and proof theory of linear logicTheoretical Computer Science, 1988
- Linear logicTheoretical Computer Science, 1987
- On the finite containment problem for Petri netsTheoretical Computer Science, 1986
- A decidable fragment of predicate calculusTheoretical Computer Science, 1984
- AlternationJournal of the ACM, 1981