@article{bwmeta1.element.zamlynska-d78137a6-efd2-44e0-a23c-4810410b36f1,
author = {M. E. Szabo},
title = {On some arithmetically expressible properties of programs},
journal = {Banach Center Publications},
volume = {21},
year = {1988},
pages = {385-394},
zbl = {0761.68063},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-d78137a6-efd2-44e0-a23c-4810410b36f1}
}
M. E. Szabo. On some arithmetically expressible properties of programs. Banach Center Publications, Tome 21 (1988) pp. 385-394. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-d78137a6-efd2-44e0-a23c-4810410b36f1/