
Kräling, Thorsten Dr.Universität HeidelbergHeidelberg
Publikationsliste einschränken
Publikationsjahre
Publikationstypen
Sprache
Co-Autoren (Uni Heidelberg)
Co-Autoren (extern)
Publikationen in heiBIB 
- Kräling, Thorsten: Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees / vorgelegt von Thorsten Kräling, 2014. - X, 143 S.
- Kräling, Thorsten: Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees / Thorsten Kräling, 2014. - Online-Ressource (153 S.)
DOI: 10.11588/heidok.00016720
- Hölzl, Rupert: Time-bounded Kolmogorov complexity and Solovay functions / Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle, 2013. - 15 S.
In: Theory of computing systems, ISSN 1433-0490. 52(2013), 1, Seite 80-94
DOI: 10.1007/s00224-012-9413-4
- Hölzl, Rupert: Initial segment complexities of randomness notions / Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu, 2014. - 11 S.
In: Information and computation, ISSN 1090-2651. 234(2014), Seite 57-67
DOI: 10.1016/j.ic.2013.12.002
- Ambos-Spies, Klaus: The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent / Klaus Ambos-Spies ... Thorsten Kräling. - 12 S.
In: Annals of pure and applied logic, ISSN 1873-2461. 164(2013), 5, S. 577–588
DOI: 10.1016/j.apal.2012.11.002
- Ambos-Spies, Klaus: Quantitative aspects of speed-up and gap phenomena / Klaus Ambos-Spies and Thorsten Kräling, 27 October 2010. - 16 S.
In: Mathematical structures in computer science, ISSN 1469-8072. 20(2010), 5, Seite 707-722
DOI: 10.1017/S0960129510000174
- Bienvenu, Laurent: Separations of non-monotonic randomness notions / Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle. - 15 S.
In: Journal of logic and computation, ISSN 1465-363X. 22(2012), 4, S. 701-715
DOI: 10.1093/logcom/exq037
IDs
Links
Kräling, Thorsten in ...
Export Publikationsliste
heiBIB
Bei fehlerhaften oder unvollständigen Angaben wenden Sie sich bitte an biblio@ub.uni-heidelberg.de.
Informationen zu heiBIB (inkl. Einbettung der Publikationslisten in eigene WWW-Seiten).
