Petri Nets and Linear Logic: a Case Study for Logic Programming

Iliano Cervesato. Petri Nets and Linear Logic: a Case Study for Logic Programming. In MarĂ­a Alpuente, Maria I. Sessa, editors, 1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995. pages 313-320, 1995.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.