作 者:Takakazu Mori ;Yoshiki Tsujii ;Mariko Yasugi
出 处:Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:9)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692030
作 者:Takakazu Mori ;Yoshiki Tsujii ;Mariko Yasugi
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2270
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848318
作 者:Yoshiki Tsujii ;Takakazu Mori ;Mariko Yasugi 等
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2275
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848323
作 者:Takakazu Mori ;Mariko Yasugi ;Yoshiki Tsujii
出 处:Journal of Universal Computer Science. 2009 ;15(6):1264-1279.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875149
作 者:Mariko Yasugi ;Yoshiki Tsujii ;Takakazu Mori
出 处:Journal of Universal Computer Science. 2005 ;11(12):2179-2191.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875569