作 者:Nicolas Basset ;Gilles Geeraerts ;Jean-Fran{\c{c}}ois Raskin 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:123:1-123:14.doi:10.4230/LIPIcs.ICALP.2017.123
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372077
作 者:Nicolas Basset ;Jean Mairesse ;Mich{\`e}le Soria
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:36:1-36:16.doi:10.4230/LIPIcs.CONCUR.2017.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735202
作 者:Nicolas Basset ;Isma{\"e}l Jecker ;Arno Pauly 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-22.doi:10.4230/LIPIcs.CSL.2018.10
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213285