作　　者：Henning Basold

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-22.doi:10.4230/LIPIcs.CALCO.2019.8

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：241520005

作　　者：Henning Basold ;Damien Pous ;Jurriaan Rot

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:5:1-5:16.doi:10.4230/LIPIcs.CALCO.2017.5

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：205510170

作　　者：Henning Basold ;Herman Geuvers ;Niels van der Weide

出　　处：Journal of Universal Computer Science. 2017 ;23(1):63-88.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：192806587