Petri nets, Horn programs, Linear Logic, and vector games

This publication has 19 references indexed in Scilit:

• From petri nets to linear logic
  Published by Springer Nature ,2005
• The complexity of Horn fragments of Linear Logic
  Annals of Pure and Applied Logic, 1994
• Linear logic as a logic of computations
  Annals of Pure and Applied Logic, 1994
• Decision problems for propositional linear logic
  Annals of Pure and Applied Logic, 1992
• A game semantics for linear logic
  Annals of Pure and Applied Logic, 1992
• Bounded linear logic: a modular approach to polynomial-time computability
  Theoretical Computer Science, 1992
• Linear logic
  Theoretical Computer Science, 1987
• An Algorithm for the General Petri Net Reachability Problem
  SIAM Journal on Computing, 1984
• The complexity of the word problems for commutative semigroups and polynomial ideals
  Advances in Mathematics, 1982
• Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
  Annals of Mathematics, 1961