An effective fixpoint semantics for linear logic programs
From MaRDI portal
Publication:4452612
DOI10.1017/S1471068402001254zbMATH Open1087.68578OpenAlexW2084978427MaRDI QIDQ4452612FDOQ4452612
Authors: Marco Bozzano, Giorgio Delzanno, M. 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
Recommendations
- Fixpoint semantics for logic programming a survey
- scientific article; zbMATH DE number 1693040
- A fixpoint semantics for disjunctive logic programs
- An alternative linear semantics for allowed logic programs
- Logic Programming with Focusing Proofs in Linear Logic
- A Uniform Proof-theoretic Investigation of Linear Logic Programming
- scientific article; zbMATH DE number 1740317
- On Greatest Fixpoint Semantics of Logic Programming
- Approximation fixpoint theory and the well-founded semantics of higher-order logic programs
Cited In (11)
- Title not available (Why is that?)
- Making assumptions in the automated derivation
- A semantic approach to optimize linear datalog programs
- On the relations between disjunctive and linear logic programming
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Model checking linear logic specifications
- Logical approximation for program analysis
- Title not available (Why is that?)
- A semantic approach for web reasoning
- Linear Logical Algorithms
- Fixpoint semantics for logic programming a survey
Uses Software
This page was built for publication: An effective fixpoint semantics for linear logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452612)
