作　　者：Olivier Finkel

出　　处：Computer Science Journal of Moldova. 2007 ;15(1):3-21.

出 版 社：Institute of Mathematics and Computer Science

文 章 ID：85061438

作　　者：Olivier Carton ;Olivier Finkel ;Dominique Lecomte

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:22:1-22:16.doi:10.4230/LIPIcs.CSL.2017.22

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

文 章 ID：200735088

作　　者：Olivier Finkel

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:12)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692147

作　　者：Olivier Finkel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:555-566.doi:10.4230/LIPIcs.STACS.2012.555

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

文 章 ID：186846060