作 者:Mathieu Hoyrup ;Donald M. Stull
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.48
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891998
作 者:Xiang Huang ;Jack H. Lutz ;Elvira Mayordomo 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:51:1-51:15.doi:10.4230/LIPIcs.STACS.2020.51
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823590
作 者:Xiang Huang ;Donald M. Stull
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:86:1-86:13.doi:10.4230/LIPIcs.MFCS.2016.86
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847913
作 者:Neil Lutz ;Donald M. Stull
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-15.doi:10.4230/LIPIcs.MFCS.2018.71
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213426
作 者:Donald M. Stull
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-15.doi:10.4230/LIPIcs.MFCS.2018.79
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213434