Skip to content

A bottom-up semantics for linear logic programs.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

VenueCPPDP
Year2000
ProceedingsPPDP

Browse the full PPDP paper archive.