Döpp, Klemens. "Anmerkungen zum Rekursionstheorem.." Archiv für mathematische Logik und Grundlagenforschung 25 (1985): 153-172. <http://eudml.org/doc/138045>.
@article{Döpp1985, author = {Döpp, Klemens}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {partial recursive functions; uniformity; recursion theorem}, pages = {153-172}, title = {Anmerkungen zum Rekursionstheorem.}, url = {http://eudml.org/doc/138045}, volume = {25}, year = {1985}, }
TY - JOUR AU - Döpp, Klemens TI - Anmerkungen zum Rekursionstheorem. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1985 VL - 25 SP - 153 EP - 172 KW - partial recursive functions; uniformity; recursion theorem UR - http://eudml.org/doc/138045 ER -
