作　　者：Martin Lange ;Etienne Lozes

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;77:39-46.doi:10.4204/EPTCS.77.6

出 版 社：Open Publishing Association

文 章 ID：83120467

作　　者：Martin Lange ;Etienne Lozes ;Manuel Vargas Guzmán

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:43-56.doi:10.4204/EPTCS.96.4

出 版 社：Open Publishing Association

文 章 ID：83120586

作　　者：Etienne Lozes ;Daniel Hirschkoff ;Davide Sangiorgi

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:4)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109806

作　　者：Stphane Demri ;Etienne Lozes ;Alessio Mansutti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-18.doi:10.4230/LIPIcs.CSL.2020.19

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

文 章 ID：243494220

作　　者：Alain Finkel ;Etienne Lozes

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:122:1-122:14.doi:10.4230/LIPIcs.ICALP.2017.122

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

文 章 ID：198372076

作　　者：St{\'e}phane Demri ;Etienne Lozes ;Denis Lugiez

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:25:1-25:14.doi:10.4230/LIPIcs.FSTTCS.2017.25

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

文 章 ID：220015410