伊恩·福特 Wolfram语言中通用拓扑的语义表示。 (英语) Zbl 1367.68303号 Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能课堂讲稿》,163-177(2017)。MSC公司:68立方英尺 54年X月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.福特},莱克特。注释计算。科学。10383、163--177(2017年;Zbl 1367.68303) 全文: 内政部
Jean-François Dufourd 离散Jordan曲线定理:一个用超映射在Coq中形式化的证明。 (英语) Zbl 1259.68179号 Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学论文集1,253-264,仅电子版(2008年)。MSC公司:68吨15 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Dufourd},LIPIcs——莱布尼茨国际程序。通知。1253--264(2008年;Zbl 1259.68179) 全文: 内政部 链接
彼得罗·迪·贾南托尼奥;马里诺·米库兰 统一层类别中的递归和共递归定义。 (英语) Zbl 1126.68491号 Walukiewicz,Igor(编辑),软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004,是欧洲软件理论与实践联合会议ETAPS 2004的一部分。议事程序。柏林:施普林格出版社(ISBN 3-540-21298-1/pbk)。计算机科学课堂讲稿2987136-150(2004)。MSC公司:68问题65 18层20 54B40码 PDF格式BibTeX公司 XML格式引用 \textit{P.Di Gianantonio}和\textit{M.Miculan},莱克特。注释计算。科学。2987136-150(2004年;Zbl 1126.68491) 全文: 内政部