作 者:Lasse Nielsen ;Nobuko Yoshida ;Kohei Honda
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;41:121-135.doi:10.4204/EPTCS.41.9
出 版 社:Open Publishing Association
文 章 ID:83120077
作 者:Nobuko Yoshida ;Kohei Honda ;Martin Berger
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:2)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109820