%0 Journal Article %1 journals/mlq/Hecker80 %A Hecker, Hans-Dietrich %D 1980 %J Math. Log. Q. %K %N 10-12 %P 165-180 %T Enumerationen in Speziellen Standardklassen Rekursiv-Aufzählbarer Mengen. %U http://dblp.uni-trier.de/db/journals/mlq/mlq26.html#Hecker80 %V 26

@article{journals/mlq/Hecker80, added-at = {2023-12-13T00:55:05.000+0100}, author = {Hecker, Hans-Dietrich}, biburl = {https://www.bibsonomy.org/bibtex/216da7d5de020272fabfe274e16cc2eb9/admin}, ee = {http://dx.doi.org/10.1002/malq.19800261003}, interhash = {6a431389799f15a327c64e5d82666e3c}, intrahash = {16da7d5de020272fabfe274e16cc2eb9}, journal = {Math. Log. Q.}, keywords = {}, number = {10-12}, pages = {165-180}, timestamp = {2023-12-13T00:55:05.000+0100}, title = {Enumerationen in Speziellen Standardklassen Rekursiv-Aufzählbarer Mengen.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq26.html#Hecker80}, volume = 26, year = 1980 }