1 paper · 1 filter
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
In this paper we investigate the theoretical foundation of a new bottom-up semantics for linear logic programs, and more precisely for the fragment of LinLog that consists of the l…