Algorithms: A quest for absolute definitions (2003)

by Andreas Blass , Yuri Gurevich
Venue:Bulletin of the European Association for Theoretical Computer Science
Citations:20 - 9 self