The "Almost All" Theory of Subrecursive Degrees is Decidable.

Kurt Mehlhorn

Browse the full ICALP paper archive.