An effective fixpoint semantics for linear logic programs
From MaRDI portal
Publication:4452612
DOI10.1017/S1471068402001254zbMath1087.68578OpenAlexW2084978427MaRDI QIDQ4452612
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068402001254
Related Items (5)
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Logical approximation for program analysis ⋮ A semantic approach for web reasoning ⋮ On the Relations between Disjunctive and Linear Logic Programming ⋮ Making assumptions in the automated derivation
Uses Software
This page was built for publication: An effective fixpoint semantics for linear logic programs
