Pages that link to "Item:Q1602553"
From MaRDI portal
The following pages link to Relational depth-first-search with applications (Q1602553):
Displayed 6 items.
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)