@dblp

The Älmost All" Theory of Subrecursive Degrees is Decidable.

. ICALP, volume 14 of Lecture Notes in Computer Science, page 317-325. Springer, (1974)

Links and resources

Tags