The following pages link to Context logic and tree update (Q5276152):
Displaying 13 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- Adjunct elimination in context logic for trees (Q964499) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- DOM: Specification and Client Reasoning (Q3179307) (← links)
- Adjunct Elimination in Context Logic for Trees (Q3498442) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Footprints in Local Reasoning (Q5458360) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
