A Technique for Provably Good Algorithms and Algorithmic Proofs

Download PDF
2 downloads 36 Views 351KB Size Report
Comment
May 29, 1985 ... Clark D. Thompson. Computer ... Our technique can be extended to provide bounds on the ... We now give a general outline of the technique.