作　　者：Krishnendu Chatterjee ;Nathanaël Fijalkow

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:74-86.doi:10.4204/EPTCS.54.6

出 版 社：Open Publishing Association

文 章 ID：83120160

作　　者：Nathanaël Fijalkow ;Martin Zimmermann

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691908

作　　者：Nathanaël Fijalkow ;Hugo Gimbert ;Edon Kelmendi 等

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:12)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692233

作　　者：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