On recursively enumerable families R1F: recursive non-invariance of the length problem and numberings of R1F
Saved in:
Bibliographic Details
Main Author: Kummer, Martin (Author)
Format: Book
Language:Undetermined
Published: Karlsruhe 1988
Series:Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 88,6
Subjects:
Physical Description:35 Bl.