作　　者：Jasmin C. Blanchette ;Cezary Kaliszyk ;Lawrence C. Paulson 等

出　　处：Journal of Formalized Reasoning. 2016 ;9(1):101-148.doi:10.6092/issn.1972-5787/4593

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：184649923

作　　者：Cezary Kaliszyk ;Russell O'Connor

出　　处：Journal of Formalized Reasoning. 2009 ;2(1):27-39.doi:10.6092/issn.1972-5787/1411

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489236

作　　者：Florent Brhard ;Assia Mahboubi ;Damien Pous 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20817-20819.doi:10.1073/pnas.1913212116

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：239774940

作　　者：Abhik Pal ;Benedikt Stock ;Dierk Schleicher 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20977-20983.doi:10.1073/pnas.1912705116

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：239774969

作　　者：Chad E. Brown ;Cezary Kaliszyk ;Karol Pak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-16.doi:10.4230/LIPIcs.ITP.2019.9

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

文 章 ID：240116666

作　　者：Cezary Kaliszyk ;Karol Pak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-7.doi:10.4230/LIPIcs.ITP.2019.35

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

文 章 ID：240116692

作　　者：Christian Urban ;Cezary Kaliszyk

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691999