布鲁诺·迪尼斯;埃蒂安·米基 非标准分析的有状态实现器。 (英语) Zbl 07731918号 日志。计算方法。科学。 19,第2号,第7号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{E.Miquey},Log。计算方法。科学。19,第2号,第7号文件,第44页(2023;Zbl 07731918) 全文: 内政部 arXiv公司
泽珊·拉哈尼;达斯,安库什;亨利·德扬;安德烈亚·莫迪多;弗兰克·芬宁 极化子类型。 (英语) Zbl 1528.68082号 谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 431-461 (2022).MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lakhani}等人,Lect。注释计算。科学。13240,431--461(2022;Zbl 1528.68082) 全文: 内政部 arXiv公司
乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 主教布景的立体语言。 (英语) Zbl 07566056号 日志。计算方法。科学。 18,第1号,第43号论文,80页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人,日志。计算方法。科学。18,第1号,第43号论文,80页(2022;Zbl 07566056) 全文: arXiv公司 链接
日产李维斯;阿诺·阿夫隆 形式表语集理论中的分析。 (英语) Zbl 07547740号 Silva,Alexandra(编辑)等人,《逻辑、语言、信息和计算》。第27届国际研讨会,WoLLIC 2021,虚拟活动,2021年10月5日至8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13038, 167-183 (2021).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Levi}和\textit{A.Avron},莱克特。注释计算。科学。13038、167--183(2021;Zbl 07547740) 全文: 内政部
萨拉·内格里 无穷逻辑中的几何规则。 (英语) Zbl 07452007号 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:施普林格。Outst公司。控制日志。21265-293(2021年)。MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri},Outst(输出)。控制日志。21、265--293(2021;Zbl 07452007) 全文: 内政部
Arieli,奥弗;安娜·扎曼斯基 引言:非经典逻辑-介于语义和证明理论之间(与阿诺·阿夫伦的工作有关)。 (英语) Zbl 07451996年 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:施普林格。Outst公司。控制日志。21, 1-11 (2021).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{A.Zamansky},Outst。控制日志。21,1-11(2021年;兹bl 07451996) 全文: 内政部
乔纳森·斯特林 高阶函数和Brouwer的论文。 (英语) Zbl 1520.03016号 J.功能。程序。 31,论文编号e11,33 p.(2021).MSC公司:03楼50 03B40型 2010年1月3日 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.斯特林},J.芬克。程序。31,论文编号e11,33 p.(2021;Zbl 1520.03016) 全文: 内政部 arXiv公司
科恩、利隆 归纳法和共归纳法的非资金扣除。 (英语) Zbl 07437069号 AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699, 3-24 (2021).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen},莱克特。注释计算。科学。12699,3-24(2021;兹bl 07437069) 全文: 内政部
阿诺·阿夫隆 为什么选择表语集? (英语) Zbl 07614716号 安德烈亚斯·布拉斯(编辑)等人,《逻辑与计算领域III》,纪念尤里·古雷维奇80岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。12180, 30-45 (2020).MSC公司:03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},莱克特。注释计算。科学。12180,30--45(2020;Zbl 07614716) 全文: 内政部
阿诺·阿夫隆 100年后,Weyl重新审视了《Das Kontinuum》。 (英语) Zbl 1458.03006号 牛市。符号。日志。 26,第1号,26-79(2020). 审核人:延斯·莱曼斯基(黑根) MSC公司:03A05号 03B30型 03B38型 01A60型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。赛姆布。日志。26,第1号,26--79(2020;Zbl 1458.03006) 全文: 内政部
科恩、利隆;阿诺·阿夫隆 中庸之道——不切实际的逻辑。 (英语) Zbl 1475.03082号 合成 196,第7期,2671-2693(2019).MSC公司:03B60号 05年3月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{A.Avron},综合196,第7期,2671-2693(2019;Zbl 1475.03082) 全文: 内政部
科恩、利隆;鲁本·罗伊,N.S。 传递闭包逻辑中通过无限下降的一致归纳推理。 (英语) Zbl 1528.03186号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第17条,第16页(2018年)。MSC公司:03日70 03财年03 05年3月 30楼03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.N.S.Rowe},LIPIcs——莱布尼茨国际程序。通知。119,第17条,第16页(2018;Zbl 1528.03186) 全文: 内政部
阿农·阿夫隆;沙哈尔·列夫;日产李维斯 安全性、绝对性和可计算性。 (英语) Zbl 1528.03183号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第8条,第17页(2018年)。MSC公司:03D45号 03年2月25日 03年3月30日 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}等人,LIPIcs——莱布尼茨国际程序。通知。119,第8条,第17页(2018;Zbl 1528.03183) 全文: 内政部
科恩、利隆;罗伯特·康斯特布尔。 直觉主义祖先逻辑作为一种独立类型的抽象编程语言。 (英语) Zbl 1465.68036号 Paiva,Valeria(编辑)等人,《逻辑、语言、信息和计算》。第22届国际研讨会,2015年7月20日至23日,美国印第安纳州布卢明顿,WoLLIC。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9160, 14-26 (2015).MSC公司:68甲15 03秒20 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.L.Constable},Lect。注释计算。科学。9160,14-26(2015;Zbl 1465.68036) 全文: 内政部