Pages that link to "Item:Q3644844"
From MaRDI portal
The following pages link to Using modal logics to express and check global graph properties (Q3644844):
Displaying 6 items.
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- Polynomial hierarchy graph properties in hybrid logic (Q2453580) (← links)
- Modal expressiveness of graph properties (Q2866735) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)