作 者:Jirí Adámek ;Stefan Milius ;Jirí Velebil
出 处:Logical Methods in Computer Science. 2006 ;2(05).doi:10.2168/LMCS-2(5:4)2006
出 版 社:Technical University of Braunschweig
文 章 ID:46838646