Pages that link to "Item:Q5963086"
From MaRDI portal
The following pages link to Cardinality of relations and relational approximation algorithms (Q5963086):
Displayed 5 items.
- Cardinality of relations with applications (Q738869) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Verified Approximation Algorithms (Q5049009) (← links)
- (Q5094121) (← links)
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants (Q5283218) (← links)