作 者:Dexter Kozen ;Nicholas Ruozzi
出 处:Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:10)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47333298