作 者:Takayuki Kihara
出 处:Logical Methods in Computer Science. 2016 ;12(4):1.doi:10.2168/LMCS-12(4:4)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692059
作 者:Takayuki Kihara ;Arno Pauly
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:58:1-58:14.doi:10.4230/LIPIcs.MFCS.2016.58
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847885