Relational Characterisations of Paths
From MaRDI portal
- A completeness theorem for Kleene algebras and the algebra of regular events
- An algebraic framework for minimum spanning tree problems
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- On the calculus of relations.
- Relational characterisations of paths
- Stone relation algebras
- Verifying minimum spanning tree algorithms with Stone relation algebras
This page was built for software: Relational Characterisations of Paths