Verifying minimum spanning tree algorithms with Stone relation algebras
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 101; pp. 132 - 150 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
01.12.2018
|
| Online Access | Get full text |
Cover
Loading…
| ISSN: | 2352-2208 |
|---|---|
| DOI: | 10.1016/j.jlamp.2018.09.005 |