Pages that link to "Item:Q3611996"

The following pages link to Formalised Inductive Reasoning in the Logic of Bunched Implications (Q3611996):

Displayed 11 items.

• Unifying separation logic and region logic to allow interoperability (Q1798668) ‎ (← links)
• Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps (Q2039937) ‎ (← links)
• Non-well-founded deduction for induction and coinduction (Q2055840) ‎ (← links)
• Integrating induction and coinduction via closure operators and proof cycles (Q2096458) ‎ (← links)
• Automated mutual induction proof in separation logic (Q2414251) ‎ (← links)
• Completeness and expressiveness of pointer program verification by separation logic (Q2417849) ‎ (← links)
• Disproving Inductive Entailments in Separation Logic via Base Pair Approximation (Q3455777) ‎ (← links)
• Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741) ‎ (← links)
• Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) ‎ (← links)
• A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) ‎ (← links)
• Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) ‎ (← links)