A bottom-up semantics for linear logic programs

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. A bottom-up semantics for linear logic programs. In PPDP. pages 92-102, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.