作 者:Christian Urban
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;42:1-11.doi:10.4204/EPTCS.42.1
出 版 社:Open Publishing Association
文 章 ID:83120079
作 者:Martin Berger ;Laurence Tratt ;Christian Urban
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:5:1-5:23.doi:10.4230/LIPIcs.ECOOP.2017.5
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:197690093
作 者:Christian Urban ;Cezary Kaliszyk
出 处:Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:14)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691999
作 者:Christian Urban ;Steven P. Bennett ;Ivan K. Schuller
出 处:Scientific Reports. 2020 ;10(1):1-6.doi:10.1038/s41598-020-63358-0
出 版 社:Springer Nature
文 章 ID:259925313