克里斯蒂安·多兹卡尔;Damien Pous 树宽-两个图作为自由代数。 (英语) Zbl 1512.08002号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第60条,第15页(2018年)。MSC公司:08A70号 05C25号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{D.Pous},LIPIcs——莱布尼茨国际程序。通知。117,第60条,第15页(2018;Zbl 1512.08002) 全文: 内政部
乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 在ACL2中建模代数结构和形态。 (英语) Zbl 1325.68214号 申请。代数工程通讯。计算。 26,第3期,277-303(2015).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,应用。代数工程通讯。计算。26,第3号,277--303(2015;Zbl 1325.68214) 全文: 内政部 链接
德克斯特·科赞 NetKAT–网络验证的正式系统。 (英语) Zbl 1453.68051号 雅克·加里格(编辑),《编程语言和系统》。第十二届亚洲研讨会,2014年APLAS,新加坡,新加坡,2014年11月17日至19日,会议记录。柏林:斯普林格。莱克特。注释计算。科学。8858, 1-18 (2014).MSC公司:68号30 68米10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},莱克特。注释计算。科学。8858,1-18(2014;Zbl 1453.68051) 全文: 内政部
可口、蒂埃里;兰迪·波拉克;木本武山 具有依赖类型记录的逻辑框架。 (英语) Zbl 1052.68018号 马丁·霍夫曼(编辑),《打字lambda calculi和应用》。2003年6月10日至12日,西班牙巴伦西亚,第六届国际会议,TLCA 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40332-9/pbk)。莱克特。注释计算。科学。2701, 105-119 (2003). 审核人:内库莱·库特阿努(Iaşi) MSC公司:68甲18 03B70号 03B40型 68问题55 60年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,Lect。注释计算。科学。2701、105--119(2003;Zbl 1052.68018) 全文: 链接