Optimal Gödel Numberings

Sorry, there's nothing here.

Cite this paper

@inproceedings{Schnorr1971OptimalGN, title={Optimal G{\"{o}del Numberings}, author={Claus-Peter Schnorr}, booktitle={IFIP Congress}, year={1971} }