作 者:David Reutter ;Jamie Vicary
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:19:1-19:18.doi:10.4230/LIPIcs.CALCO.2017.19
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510195
作 者:David Reutter ;Jamie Vicary
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:20:1-20:20.doi:10.4230/LIPIcs.CALCO.2017.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510197