On recursively enumerable families R1F: recursive non-invariance of the length problem and numberings of R1F
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kummer, Martin (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Karlsruhe 1988
Schriftenreihe:Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 88,6
Schlagworte:
Beschreibung:35 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!