作 者:Benedikt Ahrens ;Andr Hirschowitz ;Ambroise Lafont 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-19.doi:10.4230/LIPIcs.FSCD.2019.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892293
作 者:Andr Hirschowitz ;Tom Hirschowitz ;Ambroise Lafont
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:12:1-12:23.doi:10.4230/LIPIcs.FSCD.2020.12
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823189