Pages that link to "Item:Q2942864"
From MaRDI portal
The following pages link to Recursive proofs for inductive tree data-structures (Q2942864):
Displaying 5 items.
- A shape graph logic and a shape system (Q744329) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Reasoning about algebraic data types with abstractions (Q1694026) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
