作 者:F{\'a}bio Botler ;Andr{\'e}s Cristi ;Ruben Hoeksma 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;100:12:1-12:17.doi:10.4230/LIPIcs.FUN.2018.12
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015115