scientific article; zbMATH DE number 1761892

zbMATH Open0988.68509MaRDI QIDQ4537511FDOQ4537511

Authors: Paolo Volpe 

Publication date: 1 July 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (12)

• Design and implementation of a concurrent logic programming language with linear logic constraints
• Proofs as computations in linear logic
• Computational interpretations of linear logic
• Types for Proofs and Programs
• Logic programming with sequent systems: a linear logic approach
• Logical Concurrency Control from Sequential Proofs
• Title not available (Why is that?)
• A language for the logical specification of processes and relations
• True concurrency semantics for a linear logic programming language with broadcast communication
• Model checking linear logic specifications
• Title not available (Why is that?)
• LMNtal as a hierarchical logic programming language

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)