Implementing efficient resource management for linear logic programming

DOI10.1007/978-3-540-32275-7_35MaRDI QIDQ5705947zbMATH OpenOpenAlexFDO

Authors Pablo Lòpez, Jeff Polakow

Publication date 10 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A tag-frame system of resource management for proof search in linear-logic programming
• Linearity Constraints as Bounded Intervals in Linear Logic Programming
• Isolating resource consumption in linear logic proof search (extended abstract)
• Efficient resource management for linear logic proof search
• Logic programming in a fragment of intuitionistic temporal linear logic

Cited in

(8)

• Plans, actions and dialogues using linear logic
• Efficient resource management for linear logic proof search
• Isolating resource consumption in linear logic proof search (extended abstract)
• A tag-frame system of resource management for proof search in linear-logic programming
• Resource management in linear logic proof search revisited
• Linearity Constraints as Bounded Intervals in Linear Logic Programming
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Defining logical systems via algebraic constraints on proofs

This page was built for publication: Implementing efficient resource management for linear logic programming

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