A formal correctness proof of Boruvka's minimum spanning tree algorithm : Master's thesis [in Computer Science, Department of Computer Science and Software Engineering], University of Canterbury / author: Nicolas Robinson-O’Brien ; supervisor: Walter Guttmann.

Saved in:
Bibliographic Details
Published: [Christchurch, New Zealand] : [University of Canterbury], 2020.
Online Access:
Main Author:
Robinson-O'Brien, Nicolas (Author)
Subjects:
Spanning trees (Graph theory)
Automatic theorem proving.
Graph algorithms.
Format: Thesis Electronic eBook
A formal correctness proof of Boruvka's minimum spanning tree algorithm : Master's thesis [in Computer Science, Department of Computer Science and Software Engineering], University of Canterbury /

Online Access

Connect to electronic resource

Similar Items