作 者:St{\'e}phane Le Roux ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:50:1-50:13.doi:10.4230/LIPIcs.STACS.2017.50
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:191698379
作 者:Volker Betz ;St{\'e}phane Le Roux
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:18:1-18:14.doi:10.4230/LIPIcs.MFCS.2016.18
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847845
作 者:St{\'e}phane Le Roux ;Arno Pauly ;Mickael Randour
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-20.doi:10.4230/LIPIcs.FSTTCS.2018.38
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213187
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-15.doi:10.4230/LIPIcs.MFCS.2018.40
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213395