Decision problems for propositional linear logic
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Decision problems for propositional linear logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Normal process representativesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Quantales and (noncommutative) linear logicThe Journal of Symbolic Logic, 1990
- Implicative formulae in the proofs of computations' analogyPublished by Association for Computing Machinery (ACM) ,1990
- Petri nets as models of linear logicPublished by Springer Nature ,1990
- Towards a geometry of interactionContemporary Mathematics, 1989
- Linear logicTheoretical Computer Science, 1987
- Petri nets and large finite setsTheoretical Computer Science, 1984
- 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