Pages that link to "Item:Q5712446"
From MaRDI portal
The following pages link to Relational and Kleene-Algebraic Methods in Computer Science (Q5712446):
Displaying 6 items.
- Algebraic separation logic (Q549676) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Extended feature algebra (Q2374310) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Pure Pointer Programs and Tree Isomorphism (Q4910428) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)