Pages that link to "Item:Q3367666"
From MaRDI portal
The following pages link to Deciding validity in a spatial logic for trees (Q3367666):
Displaying 11 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Manipulating trees with hidden labels (Q2864150) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
- Specification and verification for semi-structured data (Q5291135) (← links)
- PHYSARUM SPATIAL LOGIC (Q5388703) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)