On the Relations between Disjunctive and Linear Logic Programming

DOI10.1016/S1571-0661(04)00150-1zbMath1263.68043MaRDI QIDQ4923519

Giorgio Delzanno, Marco Bozzano, Maurizio Martelli

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Linear logic
• Forum: A multiple-conclusion specification logic
• Parallel program schemata
• Logic Programming with Focusing Proofs in Linear Logic
• An effective fixpoint semantics for linear logic programs
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item