Pages that link to "Item:Q1577351"
From MaRDI portal
The following pages link to Program constructions that are safe for bisimulation (Q1577351):
Displayed 6 items.
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Modality, bisimulation and interpolation in infinitary logic (Q1295444) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)