The following pages link to (Q4737192):
Displaying 17 items.
- Expressiveness and complexity of graph logic (Q870359) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Reconstruction graphs and testing their properties in a relational spatial database (Q1609074) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Manipulating trees with hidden labels (Q2864150) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- (Q4548197) (← links)
- (Q4553286) (← links)
- (Q4553288) (← links)
- (Q5431914) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- A presheaf semantics for quantified temporal logics (Q6562516) (← links)
- Analysis of spatio-temporal properties of stochastic systems using TSTL (Q6600061) (← links)
