Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G. H. Müller, G. E. Sacks (eds.)

• Pubblicazione: Berlin, : Springer-Verlag, 1990
• Descrizione fisica: vi, 393 p. ; 24 cm
• Soggetto topico: 03Dxx - Computability and recursion theory [MSC 2020]; 03Exx - Set theory [MSC 2020]; 68Qxx - Theory of computing [MSC 2020]
• Soggetto non controllato: Complexity; Complexity theory; Computability; Computability theory; Proofs; Turing degree
• Persona (resp. second.): Ambos-Spies, Klaus; Müller, Gert H.; Sacks, Gerald E.
• Titolo autorizzato: Recursion theory week
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00287061
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/BFb0086109