Algorithms: A quest for absolute definitions (2003)

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