作 者:Robert Rettinger
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;24:120-129.doi:10.4204/EPTCS.24.16
出 版 社:Open Publishing Association
文 章 ID:83119891
作 者:Robert Rettinger
出 处:Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:15)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691879
作 者:Xizhong Zheng ;Robert Rettinger
出 处:Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:15)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691986
作 者:Robert Rettinger ;Klaus Weihrauch
出 处:Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:14)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692192
作 者:Robert Rettinger
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2272
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848320
作 者:Robert Rettinger ;Xizhong Zheng
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2273
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848321
作 者:Robert Rettinger ;Klaus Weihrauch ;Ning Zhong
出 处:Journal of Universal Computer Science. 2009 ;15(6):1301-1316.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875151
作 者:Robert Rettinger
出 处:Journal of Universal Computer Science. 2008 ;14(6):896-907.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875184