Optimal enumerations and optimal Gödel numberings (1975)

by C P Schnorr
Venue:Sip83] [Teu12