作 者:Christoph Spandl
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;24:139-150.doi:10.4204/EPTCS.24.18
出 版 社:Open Publishing Association
文 章 ID:83119893
作 者:Peter Hertling ;Christoph Spandl
出 处:Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:7)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692164
作 者:Christoph Spandl
出 处:Journal of Universal Computer Science. 2008 ;14(6):876-895.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875183