18 citations · 23 across the 4 of their papers we have counts for
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…