Pages that link to "Item:Q5262475"
From MaRDI portal
The following pages link to Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations (Q5262475):
Displaying 4 items.
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017) (← links)
- Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631) (← links)
- (Q4133590) (← links)