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 |
