@dblp

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

. ICALP, Volume 14 von Lecture Notes in Computer Science, Seite 317-325. Springer, (1974)

Links und Ressourcen

Tags