作 者:Matthew S. Bauer ;Xizhong Zheng
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;24:29-40.doi:10.4204/EPTCS.24.8
出 版 社:Open Publishing Association
文 章 ID:83119883
作 者: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 ;Xizhong Zheng
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2273
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848321