Decidability of linear affine logic

This publication has 4 references indexed in Scilit:

• Horn programming in linear logic is NP-complete
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Decision problems for propositional linear logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Petri nets, Horn programs, Linear Logic, and vector games
  Published by Springer Nature ,1994
• Linear logic
  Theoretical Computer Science, 1987