
Nies, AndréUniversität HeidelbergHeidelberg
Refine publication list
Year of publication
Type of Publication
Language
Co-author (Univ. of Heidelberg)
Co-author (external)
Publications in heiBIB 
- Ambos-Spies, Klaus: The theory of the recursively enumerable weak truth-table degrees is undecidable / Klaus Ambos-Spies, André Nies, Richard A. Shore, 1992. - 11 S.
In: The journal of symbolic logic, ISSN 1943-5886. 57(1992), 3, Seite 864-874
DOI: 10.2307/2275436
- Ambos-Spies, Klaus: Cappable recursively enumerable degrees and Post's program / Klaus Ambos-Spies, André Nies, 1992. - 6 S.
In: Archive for mathematical logic, ISSN 1432-0665. 32(1992), 1, Seite 51-56
DOI: 10.1007/BF01270394
