作　　者：Nathana{\"e}l Fijalkow ;Pierre Ohlmann ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:29:1-29:13.doi:10.4230/LIPIcs.STACS.2017.29

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

文 章 ID：191698358

作　　者：Nathana{\"e}l Fijalkow ;Pawe{\l} Gawrychowski ;Pierre Ohlmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:34:1-34:15.doi:10.4230/LIPIcs.MFCS.2020.34

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

文 章 ID：255822944

作　　者：Nathana{"e}l Fijalkow ;Guillaume Lagarde ;Pierre Ohlmann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:24:1-24:17.doi:10.4230/LIPIcs.STACS.2020.24

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

文 章 ID：255823563

作　　者：Nathanael Fijalkow ;Guillaume Lagarde ;Pierre Ohlmann

出　　处：Electronic Colloquium on Computational Complexity. 2018 ;2018.

出 版 社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文 章 ID：235153489

作　　者：Nathanael Fijalkow ;Guillaume Lagarde ;Pierre Ohlmann 等

出　　处：Electronic Colloquium on Computational Complexity. 2018 ;2018.

出 版 社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文 章 ID：235153631

作　　者：Thomas Colcombet ;Nathanaël Fijalkow ;Pierre Ohlmann

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-21.doi:10.46298/lmcs-17(4:12)2021

出 版 社：Technical University of Braunschweig

文 章 ID：1038046910