Pages that link to "Item:Q1961861"
From MaRDI portal
The following pages link to Calculating with acyclic and cyclic lists (Q1961861):
Displaying 7 items.
- Algebraic separation logic (Q549676) (← links)
- Towards pointer algebra (Q685621) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Direct-chaining with coalescing lists (Q3321500) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)