Resource-distribution via Boolean constraints
From MaRDI portal
Publication:5267424
DOI10.1145/601775.601778zbMath1407.03078OpenAlexW2112448481MaRDI QIDQ5267424
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
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Bunched sequential information, Temporal BI: proof system, semantics and translations, Unnamed Item, Efficient resource management for linear logic proof search, Focussing and proof construction, Resourceful program synthesis from graded linear types
