作 者:Chris K{\"o}cher
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:45:1-45:14.doi:10.4230/LIPIcs.STACS.2018.45
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015280
作 者:Faried Abu Zaid ;Chris K{\"o}cher
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-17.doi:10.4230/LIPIcs.FSTTCS.2018.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213158