作 者:Akitoshi Kawamura ;Florian Steinberg
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:23:1-23:18.doi:10.4230/LIPIcs.FSCD.2017.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735132
作 者:Akitoshi Kawamura ;Hiroyuki Ota ;Carsten Rösnick 等
出 处:Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:6)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692205
作 者:Akitoshi Kawamura ;Sonoko Moriyama ;Yota Otachi 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;51:46:1-46:10.doi:10.4230/LIPIcs.SoCG.2016.46
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847404
作 者:Akitoshi Kawamura ;Holger Thies ;Martin Ziegler
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-17.doi:10.4230/LIPIcs.MFCS.2018.30
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213385