Linear logic as a logic of computations
- 17 May 1994
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 67 (1-3) , 183-212
- https://doi.org/10.1016/0168-0072(94)90011-6
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Horn programming in linear logic is NP-completePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Linearizing intuitionistic implicationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Normal process representativesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Linear logicTheoretical Computer Science, 1987
- An Algorithm for the General Petri Net Reachability ProblemSIAM Journal on Computing, 1984
- The complexity of the word problems for commutative semigroups and polynomial idealsAdvances in Mathematics, 1982
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961