作 者:Bruno Grenet ;Pascal Koiran ;Natacha Portier 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:127-139.doi:10.4230/LIPIcs.FSTTCS.2011.127
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845873
作 者:Arnaud Durand ;Yann Strozecki
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:189-202.doi:10.4230/LIPIcs.CSL.2011.189
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845983
作 者:Arnaud Mary ;Yann Strozecki
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:52:1-52:13.doi:10.4230/LIPIcs.STACS.2016.52
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847265
作 者:David Auger ;Pierre Coucheney ;Yann Strozecki
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;126:1-16.doi:10.4230/LIPIcs.STACS.2019.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230438551