作　　者：Nathalie Monnerie ;Martin Roeb ;Anis Houaijia 等

出　　处：Green and Sustainable Chemistry. 2014 ;4(2):60-69.doi:10.4236/gsc.2014.42010

出 版 社：Scientific Research Publishing

文 章 ID：90945453

作　　者：Nathalie Monnerie ;Martin Roeb ;Anis Houaijia 等

出　　处：Green and Sustainable Chemistry. 2014 ;04(02):60-69.doi:10.4236/gsc.2014.42010

出 版 社：Scientific Research Publishing

文 章 ID：175445028

作　　者：Nathalie Monnerie , Anis Houaijia , Martin Roeb , Christian Sattler

出　　处：Green and Sustainable Chemistry. 2015 ;05(02):70-80.doi:10.4236/gsc.2015.52010

出 版 社：Scientific Research Publishing

文 章 ID：103822754

作　　者：Thierry Coquand ;Simon Huber ;Christian Sattler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-23.doi:10.4230/LIPIcs.FSCD.2019.11

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

文 章 ID：238892298

作　　者：Ambrus Kaposi ;Simon Huber ;Christian Sattler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-19.doi:10.4230/LIPIcs.FSCD.2019.25

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

文 章 ID：238892312

作　　者：Christian Sattler ;Thomas Eick ;Sabine Hummert 等

出　　处：Scientific Reports. 2020 ;10(1):1-13.doi:10.1038/s41598-020-78672-w

出 版 社：Springer Nature

文 章 ID：259937581

作　　者：Christian Sattler ;Florent Balestrieri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:256-271.doi:10.4230/LIPIcs.RTA.2012.256

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

文 章 ID：186846089

作　　者：Thierry Coquand ;Simon Huber ;Christian Sattler

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-35.doi:10.46298/lmcs-18(1:28)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046930