%0 Thesis %1 hecker1983theorie %A Hecker, Hans-Dietrich %D 1983 %K %T Zur Theorie der Enumerationen rekursiv-aufzählbarer Mengen

@phdthesis{hecker1983theorie, added-at = {2023-12-12T19:49:28.000+0100}, author = {Hecker, Hans-Dietrich}, biburl = {https://www.bibsonomy.org/bibtex/2e3f0ddffabae33101a96d32119c0de0e/admin}, dnbtitleid = {840587651}, interhash = {267d959f5be326386843484efd92acc3}, intrahash = {e3f0ddffabae33101a96d32119c0de0e}, keywords = {}, school = {Uni Greifswald}, timestamp = {2023-12-12T19:49:28.000+0100}, title = {Zur Theorie der Enumerationen rekursiv-aufzählbarer Mengen}, type = {habilitation}, year = 1983 }