作 者:Makoto Kanazawa ;Sylvain Salvati
出 处:Conference on European Chapter of the Association for Computational Linguistics (EACL). 2012 ;2012.
出 版 社:ACL Anthology
文 章 ID:77079488
作 者:Paul Gallot ;Anca Muscholl ;Gabriele Puppis 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:34:1-34:14.doi:10.4230/LIPIcs.STACS.2017.34
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:191698363
作 者:Paul D. Gallot ;Aurlien Lemay ;Sylvain Salvati
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:38:1-38:13.doi:10.4230/LIPIcs.MFCS.2020.38
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822948
作 者:Sylvain Salvati ;Igor Walukiewicz
出 处:Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:7)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692235
作 者:Sylvain Salvati ;Igor Walukiewicz
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:103-114.doi:10.4230/LIPIcs.FSTTCS.2013.103
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846400
作 者:Sylvain Salvati ;Igor Walukiewicz
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:229-243.doi:10.4230/LIPIcs.CSL.2015.229
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847049
作 者:Lorenzo Clemente ;Pawel Parys ;Sylvain Salvati 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:163-177.doi:10.4230/LIPIcs.FSTTCS.2015.163
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847183
作 者:Vincent Penelle ;Sylvain Salvati ;Gr{\'e}goire Sutre
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-20.doi:10.4230/LIPIcs.FSTTCS.2018.44
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213193