scientific article; zbMATH DE number 1761892

MaRDI QIDQ4537511zbMATH OpenFDO

Authors Paolo Volpe

Publication date 1 July 2002

Mathematics Subject Classification ID

Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• scientific article; zbMATH DE number 1497827
• scientific article; zbMATH DE number 517089
• scientific article; zbMATH DE number 3958700
• scientific article; zbMATH DE number 879003
• Uniform proofs as a foundation for logic programming
• Design and implementation of a concurrent logic programming language with linear logic constraints
• Publication:4721627
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Unfolding and fixpoint semantics of concurrent constraint logic programs

Cited in

(12)

• Computational interpretations of linear logic
• Logic programming with sequent systems: a linear logic approach
• A language for the logical specification of processes and relations
• Design and implementation of a concurrent logic programming language with linear logic constraints
• scientific article; zbMATH DE number 3958700 (Why is no real title available?)
• Proofs as computations in linear logic
• LMNtal as a hierarchical logic programming language
• True concurrency semantics for a linear logic programming language with broadcast communication
• Types for Proofs and Programs
• Logical Concurrency Control from Sequential Proofs
• scientific article; zbMATH DE number 517089 (Why is no real title available?)
• Model checking linear logic specifications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537511)