伯拉克·埃基奇 形式上的分类推理。 (英语) Zbl 1524.68429号 土耳其语。数学杂志。 46,第4期,1538-1552(2022).MSC公司:68V20型 03G30型 18立方厘米50 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici},土耳其数学杂志。46,第4号,1538--1552(2022;Zbl 1524.68429) 全文: 内政部
伯拉克·埃基奇;塞萨里·卡利西克 在Coq中形式化的Kleisli构造的Mac Lane比较定理。 (英语) Zbl 1474.68455号 数学。计算。科学。 14,第3期,533-549(2020年).MSC公司:68V20型 18甲15 18A40型 18立方厘米20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici}和\textit{C.Kaliszyk},数学。计算。科学。14,第3号,533--549(2020;Zbl 1474.68455) 全文: 内政部
伯拉克·埃基奇 修饰逻辑上有异常的IMP。 (英语) Zbl 1402.68032号 离散数学。西奥。计算。科学。 20,第2号,第12号论文,43页(2018年).MSC公司:68号30 03B70号 03G30型 68甲15 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici},离散数学。西奥。计算。科学。20,第2号,第12号论文,43页(2018;Zbl 1402.68032) 全文: arXiv公司 链接
库卡斯·扎伊卡;伯拉克·埃基奇;塞萨里·卡利西克 Coq和CoqHammer的具体语义。 (英语) Zbl 1417.68181号 弗洛里安·拉贝(编辑)等人,《智能计算机数学》。2018年8月13日至17日,第11届国际会议,CICM 2018,奥地利哈根堡。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11006,53-59(2018)。MSC公司:68吨15 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Czajka}等人,Lect。注释计算。科学。11006、53-59(2018;Zbl 1417.68181) 全文: 内政部 arXiv公司
伯拉克·埃基奇;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹,盖伊;安德鲁·雷诺兹;克拉克·巴雷特 SMTCoq:用于将SMT解算器集成到Coq中的插件。 (英语) Zbl 1494.68285号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 126-133 (2017).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici}等人,Lect。注释计算。科学。10427、126--133(2017年;Zbl 1494.68285) 全文: 内政部 哈尔
Jean-Guillaume杜马;多米尼克·杜瓦尔;伯拉克·埃基奇;Damien Pous;珍妮·克劳德·雷纳德 异常的相对Hilbert-Post完整性。 (英语) Zbl 1460.68024号 Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9582, 596-610 (2016).MSC公司:68甲15 03B35型 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}等人,Lect。注释计算。科学。9582596--610(2016;Zbl 1460.68024) 全文: 内政部 哈尔