冯仁彦;埃曼·阿克;王一松;刘万伟;斯特凡·施洛巴赫;丁伟平 计算CTL中的充分必要条件：一种遗忘方法。 （英文） Zbl 07830635号 信息科学。 616, 474-504 (2022).MSC公司：68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{R.Feng}等人，《信息科学》。616474-504（2022；Zbl 07830635） 全文： 内政部
卡洛斯·卡莱罗;塞尔吉奥·马塞利诺 关于公理和再扩展。 （英文） 兹比尔07451998 Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：斯普林格。外部。控制日志。21, 39-69 (2021).MSC公司：03年XX月 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{S.Marcelino}，Outst。控制日志。21、39——69（2021；Zbl 07451998） 全文： 内政部 arXiv公司
帕特里克·特伦丁;罗伯托·塞巴斯蒂亚尼 浮点数理论的优化模块。 （英文） Zbl 07178998号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716, 550-567 (2019).MSC公司：68T20型 65K10码 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani}，莱克特。注释计算。科学。11716、550-567（2019；Zbl 07178998） 全文： 内政部 arXiv公司
阿黛尔·贾巴拉;亚历山大·查普托;米歇尔·基弗;奥利维尔·布瓦索 利用区间分析构造动力系统的参数障碍函数。 （英文） Zbl 1357.93046号 Automatica公司 78, 287-296 (2017).MSC公司：93立方厘米 93立方厘米 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Djaballah}等人，Automatica 78，287--296（2017；Zbl 1357.93046） 全文： 内政部 arXiv公司 哈尔
Dannenberg，弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡 使用快速自适应均匀化计算累积奖励。 （英文） Zbl 1369.65014号 ACM事务处理。模型。计算。模拟。 25，第2号，第9条，第23页（2015年）.MSC公司：65立方厘米 60年28日 65C20个 60年第68季度 92D20型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dannenberg}等人，《美国医学杂志》。模型。计算。模拟。25，第2号，第9条，23页（2015年；Zbl 1369.65014） 全文： 内政部
杰苏斯·阿兰塞;Jose Divasón 线性代数的形式化和执行：从定理到算法。 （英文） Zbl 1453.68210号 Gupta，Gopal（编辑）等人，《基于逻辑的程序综合与转换》。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。8901, 1-18 (2014).MSC公司：68版本20 15A04号 65平方英尺 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{J.Divasón}，莱克特。注释计算。科学。8901，1-18（2014；Zbl 1453.68210） 全文： 内政部
拉迪克，米兰;斯特凡·拉特肖恩 一类带量词前缀的量化约束的有效解是普遍存在的。 （英文） Zbl 1302.65118号 数学。计算。科学。 8，编号3-4，329-340（2014）.MSC公司：65G20个 65H20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hladík}和\textit{S.Ratschan}，数学。计算。科学。8、编号3--4、329--340（2014；Zbl 1302.65118） 全文： 内政部 arXiv公司
简·杜拉茨;米查尔·科内奇 浮点软件验证的多项式函数间隔。 （英文） Zbl 1296.65071号 安。数学。Artif公司。智力。 70，第4期，351-398（2014）.MSC公司：65G20个 68号30 65G30型 68吨15 6504年 65-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Duracz}和\textit{M.Konečn}，Ann.Math。Artif公司。智力。70，第4号，351--398（2014；Zbl 1296.65071） 全文： 内政部 链接
J·布兰克。 使用中心区间和有界误差项的精确实数运算。 （英文） Zbl 1080.65039号 J.日志。阿尔盖布。程序。 66，第1期，50-67（2006）.MSC公司：65G30型 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Blank}，J.Log。阿尔盖布。程序。66，第1号，50-67（2006；Zbl 1080.65039） 全文： 内政部