Algorithms: A quest for absolute definitions (2003)

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