Pages that link to "Item:Q3304097"
From MaRDI portal
The following pages link to On the positive calculus of relations with transitive closure (Q3304097):
Displaying 9 items.
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- On the union of well-founded relations (Q4383698) (← links)
- Binary relations in the social and mathematical sciences (Q4941996) (← links)
- Extensions of the Positive Closure Operator by Using Logical Connectives (Q4973230) (← links)
- Expressive Power and Succinctness of the Positive Calculus of Relations (Q5098722) (← links)
- On Positive Relational Calculi (Q5436993) (← links)
- (Q5875344) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)