作 者:Naoki Kobayashi ;Kohei Suenaga ;Lucian Wischik
出 处:Logical Methods in Computer Science. 2006 ;2(03).doi:10.2168/LMCS-2(3:4)2006
出 版 社:Technical University of Braunschweig
文 章 ID:46838638