Verfasst von: | Kräling, Thorsten |
---|---|
Titel: | Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees |
Verf.angabe: | vorgelegt von Thorsten Kräling |
Jahr: | 2014 |
Umfang: | X, 143 S. |
Fussnoten: | Mit Zsfassung in dt. und engl. Sprache |
Angaben zum Titel: | Übers. des Hauptsacht.: Suprema und Infima in den partiellen Ordnungen der rekursiv aufzählbaren ibT- und cl-Grade |
Hochschulschrift: | Heidelberg, Univ., Diss., 2014 |
URL: | Inhaltsverzeichnis: http://d-nb.info/1051413079/04 |
Schlagwörter: | (s)Turing-Reduzierbarkeit / (s)Berechenbarkeit / (s)VerbandMathematik |
Dokumenttyp: | Hochschulschrift |
Sprache: | eng |
Reproduktion: | Online-Ausg.: Kräling, Thorsten: Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees201420142014. - Online-Ressource (153 S.) |
K10plus-PPN: | 1475724292 |
Signatur | QR | Standort | Status | |
---|---|---|---|---|
2014 U 417 | Hauptbibliothek Altstadt / Ausweichmagazin | bestellbar | ||
Mediennummer: 10440922 | ||||
Diss. Kraeli | Bereichsbibl. Mathematik+Informatik | nicht ausleihbar | ||
Gutachter: K. Ambos-Spies. - Mediennummer: 34150870, Inventarnummer: mam-1400169 |