Kurt Mehlhorn
The “Almost All” Theory of Subrecursive Degrees is Decidable
ICALP, 1974.
@inproceedings{ICALP-1974-Mehlhorn, author = "Kurt Mehlhorn", booktitle = "{Proceedings of the Second Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-06841-4_70", isbn = "3-540-06841-4", pages = "317--325", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The “Almost All” Theory of Subrecursive Degrees is Decidable}", volume = 14, year = 1974, }