A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (Extended Abstract) (1988)

by Jennifer Lundelius Welch , Nancy Lynch
Venue:Laboratory for Computer Science, Massachusetts Institute of Technology
Citations:12 - 3 self

Document Versions

A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (Extended Abstract) –Jennifer Lundelius Welch, Nancy Lynch — 1988 — Laboratory for Computer Science, Massachusetts Institute of Technology