The "almost all" theory of subrecursive degrees is decidable:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Mehlhorn, Kurt 1949- (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Ithaca, New York 1973
Schriftenreihe:Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 170
Beschreibung:25 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!