作　　者：Colcombet, Thomas ;Bojańczyk, Mikołaj

出　　处：Logical Methods in Computer Science. 2017 ;13(4).

出 版 社：Technical University of Braunschweig

文 章 ID：1011733776

作　　者：Petrişan, Daniela ;Colcombet, Thomas

出　　处：Logical Methods in Computer Science. 2020 ;16(1):1-28.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318172

作　　者：Colcombet, Thomas ;Jaquard, Arthur

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.127

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

文 章 ID：1037088375

作　　者：Casares, Antonio ;Colcombet, Thomas ;Fijalkow, Nathanaël

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.123

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

文 章 ID：1037088397