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:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge