Resource-distribution via Boolean constraints

DOI10.1145/601775.601778MaRDI QIDQ5267424zbMATH OpenOpenAlexFDO

Authors James Harland, David Pym

Publication date 13 June 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/601775.601778

zbMATH Keywords

algebrasBoolean constraintsproof-searchrelevant logicssequent calculussubstructural logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Resource-distribution via Boolean constraints (extended abstract)
• scientific article; zbMATH DE number 2084766
• scientific article; zbMATH DE number 4145651
• scientific article; zbMATH DE number 2084748
• scientific article; zbMATH DE number 2088163
• A multicriteria problem of distribution of bounded resources
• Resource constrained assignment problems
• Strategy-proof assignment of multiple resources
• Decomposition of uniform resource allocation problems
• Resource allocation and capacity assignment in distributed systems

Cited in

(12)

• Efficient resource management for linear logic proof search
• Focussing and proof construction
• Resourceful program synthesis from graded linear types
• Bunched sequential information
• scientific article; zbMATH DE number 4145651 (Why is no real title available?)
• Temporal BI: proof system, semantics and translations
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• A labelled sequent calculus for BBI: proof theory and proof search
• Resource-distribution via Boolean constraints (extended abstract)
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Inferentialist resource semantics
• Defining logical systems via algebraic constraints on proofs

This page was built for publication: Resource-distribution via Boolean constraints

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