Pages that link to "Item:Q3189830"

The following pages link to Cyclic proofs of program termination in separation logic (Q3189830):

Displayed 2 items.

• Inference of Field-Sensitive Reachability and Cyclicity (Q2946745) ‎ (← links)
• Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) ‎ (← links)