Identifying Nearly Minimal Gdel Numbers From Additional Information.

Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen

Browse the full ALT paper archive.