When Are Two Algorithms the Same?

When Are Two Algorithms the Same? by Andreas Blass, Nachum Dershowitz, Yuri Gurevich.

Blogged with the Flock Browser