The following pages link to Xiaokang Qiu (Q2287093):
Displaying 4 items.
- A decidable logic for tree data-structures with measurements (Q2287094) (← links)
- Recursive proofs for inductive tree data-structures (Q2942864) (← links)
- Synthesis of Recursive ADT Transformations from Reusable Templates (Q3303897) (← links)
- Decidable logics combining heap structures and data (Q5408581) (← links)
