WHEN ARE TWO ALGORITHMS THE SAME?

by Andreas Blass , Nachum Dershowitz , Yuri Gurevich
Citations:8 - 1 self