Characterizing Provability in BI’s Pointer Logic Through Resource Graphs

DOI10.1007/11591191_32zbMath1143.03345OpenAlexW2107669966MaRDI QIDQ5387858

Daniel Méry, Didier Galmiche

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items

Reasoning about sequences of memory states, A Connection-Based Characterization of Bi-intuitionistic Validity, Unnamed Item, A connection-based characterization of bi-intuitionistic validity