scientific article; zbMATH DE number 1405458

MaRDI QIDQ4938433zbMATH OpenFDO

Authors Pablo Lòpez, Ernesto Pimentel

Publication date 23 February 2000

zbMATH Keywords

resource managementlogic programminglazy splittingLolli linear logic language

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Efficient resource management for linear logic proof search
• Isolating resource consumption in linear logic proof search (extended abstract)
• Logic for Programming, Artificial Intelligence, and Reasoning
• scientific article; zbMATH DE number 1948161
• scientific article; zbMATH DE number 1222110
• scientific article; zbMATH DE number 1499088
• On structuring proof search for first order linear logic
• On structuring proof search for first order linear logic
• scientific article; zbMATH DE number 1696770
• scientific article; zbMATH DE number 1231522

Cited in

(9)

• Resource-distribution via Boolean constraints (extended abstract)
• From cut-free calculi to automated deduction: the case of bounded contraction
• Logic programming in a fragment of intuitionistic linear logic
• scientific article; zbMATH DE number 1420807 (Why is no real title available?)
• scientific article; zbMATH DE number 1948161 (Why is no real title available?)
• Reasoning about resources and information: a linear logic approach
• scientific article; zbMATH DE number 1761431 (Why is no real title available?)
• Isolating resource consumption in linear logic proof search (extended abstract)
• The ILLTP library for intuitionistic linear logic

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 Q4938433)