The following pages link to On the Cardinality of Relations (Q5459186):
Displaying 15 items.
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Cardinality functions in allegories (Q604458) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Relational computation of sets of relations (Q2695345) (← links)
- Cardinalities of Finite Relations in Coq (Q2829280) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Cardinality in Allegories (Q3498420) (← links)
- Circulations, Fuzzy Relations and Semirings (Q3521984) (← links)
- Collections, Cardinalities, and Relations (Q3656897) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants (Q5283218) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)