Jakubův,简;塞萨里·卡利西克 定理证明中的松弛加权路径阶。 (英语) Zbl 1488.68139号 数学。计算。科学。 14,第3期,657-670(2020年).MSC公司:第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Jakubův}和\textit{C.Kaliszyk},数学。计算。科学。14,第3号,657--670(2020;Zbl 1488.68139) 全文: DOI程序 OA许可证
伯拉克·埃基奇;塞萨里·卡利西克 在Coq中形式化的Kleisli构造的Mac Lane比较定理。 (英语) Zbl 1474.68455号 数学。计算。科学。 14,第3期,533-549(2020年).MSC公司:68V20型 18甲15 18A40型 18个C20 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici}和\textit{C.Kaliszyk},数学。计算。科学。14,第3号,533--549(2020;Zbl 1474.68455) 全文: DOI程序 OA许可证
塞萨里·卡利西克;约瑟夫·乌尔班 HOL(y)Hammer:HOL Light的在线ATP服务。 (英语) Zbl 1322.68177号 数学。计算。科学。 2015年第9期第1期第5-22页.MSC公司:68吨15 68T05型 68T20型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{J.Urban},数学。计算。科学。9、第1号、第5--22号(2015;Zbl 1322.68177) 全文: DOI程序 arXiv公司 OA许可证