scientific article; zbMATH DE number 1405458

zbMATH Open0938.03054MaRDI QIDQ4938433FDOQ4938433

Authors: Pablo Lòpez, Ernesto Pimentel 

Publication date: 23 February 2000

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

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

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)

Cited In (9)

• From cut-free calculi to automated deduction: the case of bounded contraction
• Title not available (Why is that?)
• Logic programming in a fragment of intuitionistic linear logic
• Title not available (Why is that?)
• Reasoning about resources and information: a linear logic approach
• Title not available (Why is that?)
• Isolating resource consumption in linear logic proof search (extended abstract)
• The ILLTP library for intuitionistic linear logic
• Resource-distribution via Boolean constraints (extended abstract)

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)