
Nies, AndréUniversität HeidelbergHeidelberg
Publikationsliste einschränken
Publikationsjahre
Publikationstypen
Sprache
Co-Autoren (Uni Heidelberg)
Co-Autoren (extern)
Publikationen 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
