Propositional Reasoning
Abstract elided by the publisher.
Related papers
- Effectively-Propositional Reasoning about Reachability in Linked Data Structures CAV 2013
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- Proof search for propositional abstract separation logics via labelled sequents POPL 2014
- Modular reasoning about heap paths via effectively propositional formulas POPL 2014
- Orthologic with Axioms POPL 2024
- Classical BI: a logic for reasoning about dualising resources POPL 2009
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Effectively Propositional Interpolants CAV 2016