理查德·芬丁;乌尔里奇·科伦巴赫 Banach空间中增生算子零点逼近的Chidume算法的收敛速度和亚稳态。 （英语） Zbl 07827111号 数字。功能。分析。最佳方案。 45，第3期，216-233（2024）.MSC公司：47小时04 47时06分 47J25型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{R.Findling}和\textit{U.Kohlenbach}，数字。功能。分析。最佳方案。45，编号3，216--233（2024；Zbl 07827111） 全文： 内政部 OA许可证
吉尔达·费雷拉;保罗·菲尔米诺 赫伯兰特改良可变现性。 arXiv公司：2402.16437 预打印，arXiv:2402.16437[math.LO]（2024）。MSC公司：2010年1月3日 03B20型 03B40型 30楼03号 03年2月25日 BibTeX公司 引用 \textit{G.Ferreira}和\textit{P.Firmino}，“Herbrandized modified realizability”，预打印，arXiv:2402.16437[math.LO]（2024） 全文： arXiv公司 OA许可证
佩德罗·平托;尼古拉斯·皮斯克 关于增生算子生成的柯西问题的计算性质。 （英语） 兹伯利07787215 文件。数学。 28，第5期，1235-1274（2023）.MSC公司：47H20个 47时06分 35层25 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{P.Pinto}和\textit{N.Pischke}，博士。数学。28，第5号，1235--1274（2023；Zbl 07787215） 全文： 内政部 arXiv公司
莫里尼基·内里;托马斯·鲍威尔 一类递归不等式的计算研究。 （英语） Zbl 07770953号 J.日志。分析。 15，第3号论文，48页（2023年）.MSC公司：03英尺10英寸 03天80 40A05型 47J26型 46N10号 PDF格式BibTeX公司 XML格式引用 \textit{M.Neri}和\textit{T.Powell}，J.Log。分析。15，第3号论文，48页（2023；Zbl 07770953） 全文： 内政部 arXiv公司
尼古拉斯·皮斯克 关于Korpelevich的外梯度算法。 （英语） Zbl 07761222号 Z.分析。安文德。 42，编号1-2，117-129（2023）. 审核人：冰滩（成都） MSC公司：49J40型 2010年1月3日 05时47分 47J25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Pischke}，Z.Ana公司。安文德。42，编号1--2，117-129（2023；Zbl 07761222） 全文： 内政部
布鲁诺·迪尼斯;佩德罗·平托 空间中交替Halpern-Mann迭代的强收敛性。 （英语） Zbl 1519.47080号 SIAM J.Optim公司。 33，编号2，785-815（2023）.MSC公司：47J25型 2009年9月47日 54H25个 2010年1月3日 05时47分 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{P.Pinto}，SIAM J.Optim。33，编号2785-815（2023；Zbl 1519.47080） 全文： 内政部 arXiv公司
陈斌;潘丽安 Wigner-Yanase偏斜信息的几何不确定性关系。 （英语） Zbl 1525.81027号 物理学杂志。A、 数学。西奥。 56，第27号，文章ID 275301，第11页（2023年）.MSC公司：81S07号 81页第45页 2015年第32季度 81S30个 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{B.Chen}和\textit{P.Lian}，J.Phys。A、 数学。西奥。56，第27号，文章ID 275301，第11页（2023年；Zbl 1525.81027） 全文： 内政部
布鲁诺·迪尼斯;詹姆·加斯帕 功能解释中的硬连接真理。 （英语） Zbl 1518.03013号 端口数学。 80，编号1-2，81-105（2023）. 审核人：维克托·潘布奇（格伦代尔） MSC公司：03年2月25日 2010年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{J.Gaspar}，港口数学。80，编号1--2，81-105（2023；Zbl 1518.03013） 全文： 内政部
尼古拉斯·皮斯克 Hilbert空间单调算子差分零点算法的定量结果。 （英语） Zbl 07685243号 J.凸面分析。 30，编号1，295-315（2023）. 审核人：安德烈·西波什（布库雷什蒂） MSC公司：47J25型 05时47分 2010年1月3日 2009年9月47日 PDF格式BibTeX公司 XML格式引用 \textit{N.Pischke}，J.凸面分析。30，编号1，295--315（2023；Zbl 07685243） 全文： arXiv公司 链接
安东·弗伦德;乌尔里奇·科伦巴赫 Banach空间非线性遍历定理的界。 （英语） 兹伯利07680136 遍历理论动力学。系统。 43，第5期，1570-1593（2023）.MSC公司：47甲10 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund}和\textit{U.Kohlenbach}，遍历理论动力学。系统。43，第5号，1570--1593（2023；Zbl 07680136） 全文： 内政部 arXiv公司
霍拉·伊乌·雪娃;乌尔里奇·科伦巴赫;劳伦·伊乌·卢什坦 关于修改的Halpern和Tikhonov-Mann迭代。 （英语） Zbl 1519.47077号 J.优化。理论应用。 197，编号1，233-251（2023）.MSC公司：47J25型 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{H.Cheval}等人，J.Optim。理论应用。197，编号1，233--251（2023；Zbl 1519.47077） 全文： 内政部 arXiv公司
拉夫罗夫，P.M。;穆德鲁克，V.I。 自旋3、矢量和标量场的五次顶点。 （英语） Zbl 1518.81077号 物理学。莱特。，B类 837，文章ID 137630，4 p.（2023）.MSC公司：81T13型 81伏73 81T10型 05B10号 2010年1月3日 70S15型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Lavrov}和\textit{V.I.Mudruk}，Phys。莱特。，B 837，文章ID 137630，4 p.（2023；Zbl 1518.81077） 全文： 内政部 arXiv公司
托马斯·鲍威尔 Littlewood的Tauberian定理的有限化及其在Tauberia余数理论中的应用。 （英语） Zbl 1523.03024号 Ann.纯粹应用。逻辑 174，第4号，文章ID 103231，28页（2023）. 审核人：布鲁诺·迪尼斯（埃沃拉） MSC公司：2010年1月3日 03年2月25日 40A05型 40E05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}，Ann.纯苹果。逻辑174，第4号，文章ID 103231，28页（2023；Zbl 1523.03024） 全文： 内政部
伊沃·佩兹拉 广义Kreisel-Putnam规则的构造有效性。 arXiv:2311.15376号 预打印，arXiv:2311.15376[cs.LO]（2023）。MSC公司：03财年03 03A05号 03英尺10英寸 BibTeX公司 引用 \textit{I.Pezlar}，“广义Kreisel-Putnam规则的构造有效性”，预印本，arXiv:2311.15376[cs.LO]（2023） 全文： arXiv公司 OA许可证
乌尔里奇·科伦巴赫;佩德罗·平托 重温费耶尔单调序列。 arXiv:2310.06528 预印本，arXiv:2310.06528[math.OC]（2023）。MSC公司：47J25型 41A65型 2010年1月3日 BibTeX公司 引用 \textit{U.Kohlenbach}和\textit{P.Pinto}，“Fej\r单调序列重访”，预印本，arXiv:2310.06528[math.OC]（2023） 全文： arXiv公司 OA许可证
佩德罗·平托 关于Dykstra循环投影算法的有限内容。 arXiv公司：2306.09791 预印本，arXiv:2306.09791[math.OC]（2023）。MSC公司：2009年9月47日 41A65型 90C25型 03英尺10英寸 BibTeX公司 引用 \textit{P.Pinto}，“关于Dykstra循环投影算法的有限内容”，Preprint，arXiv:2306.09791[math.OC]（2023） 全文： arXiv公司 OA许可证
霍拉·伊乌·雪娃 映射族的Tikhonov-Mann迭代的渐近正则率。 arXiv:2304.11366 预印本，arXiv:2304.11366[math.OC]（2023）。MSC公司：47J25型 2009年9月47日 2010年1月3日 BibTeX公司 引用 \textit{H.Cheval}，“映射族Tikhonov-Mann迭代的渐近正则性速率”，预印本，arXiv:2304.11366[math.OC]（2023） 全文： arXiv公司 OA许可证
安德烈·西波斯 超强非扩张映射和一致单调算子的计算内容。 arXiv公司：2303.02768 预印本，arXiv:2303.02768[math.OC]（2023）。MSC公司：05时47分 2009年9月47日 47J25型 2010年1月3日 BibTeX公司 引用 \textit{A.Sipos}，“超强非扩张映射和一致单调算子的计算内容”，Preprint，arXiv:2303.02768[math.OC]（2023） 全文： arXiv公司 OA许可证
霍拉·伊乌·雪娃;劳伦·伊乌·卢什坦 Tikhonov-Mann迭代渐近正则性的二次速率。 （英语） Zbl 1514.47104号 最佳方案。方法软件。 37，第6号，2225-2240（2022）.MSC公司：47J26型 2009年9月47日 2010年1月3日 54H25个 PDF格式BibTeX公司 XML格式引用 \textit{H.Cheval}和\textit{L.Leuštean}，Optim。方法软件。37，第6号，2225--2240（2022；Zbl 1514.47104） 全文： 内政部 arXiv公司
安德烈·西波什 共同坚定地回顾非扩张映射族。 （英语） 兹比尔1507.90132 优化 71，第13号，3819-3834（2022）.MSC公司：90C25型 46N10号 47J25型 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，优化71，No.13，3819--3834（2022；Zbl 1507.90132） 全文： 内政部 arXiv公司
安德烈·西波什 摘要近点算法的强收敛变体。 （英语） Zbl 1496.90061号 计算。最佳方案。申请。 83，第1号，349-380（2022）.MSC公司：90C25型 46N10号 47J25型 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，计算。最佳方案。申请。83，编号1，349--380（2022；Zbl 1496.90061） 全文： 内政部 arXiv公司
安德烈·西波什 关于提取变量Herbrand析取。 （英语） Zbl 1523.03025号 螺柱日志。 110，第4期，1115-1134（2022）. 审核人：安妮卡·坎科斯（赫尔辛基） MSC公司：2010年1月3日 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，螺柱日志。110，编号4，1115--1134（2022；Zbl 1523.03025） 全文： 内政部 arXiv公司
尼古拉斯·皮斯克;Ulrich Kohlenbach公司 修正为：“平衡问题的次梯度型方法的定量分析”。 （英语） Zbl 1498.47134号 数字。算法 90，编号1，221（2022）.MSC公司：47J25型 47时06分 90立方厘米 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{N.Pischke}和\textit{U.Kohlenbach}，数字。算法90，No.1，221（2022；Zbl 1498.47134） 全文： 内政部
尼古拉斯·皮斯克;乌尔里奇·科伦巴赫 平衡问题的次梯度型方法的定量分析。 （英语） Zbl 1495.47110号 数字。算法 90，第1期，197-219（2022）; 更正同上，第90号，第1、221（2022）。MSC公司：47J25型 47时06分 90立方厘米 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{N.Pischke}和\textit{U.Kohlenbach}，数字。算法90，No.1，197--219（2022；Zbl 1495.47110） 全文： 内政部 arXiv公司
乌尔里奇·科伦巴赫;佩德罗·平托 双曲空间中粘度近似方法的定量转换。 （英语） Zbl 1495.47106号 数学杂志。分析。申请。 507，第2号，文章ID 125823，33页（2022）. 审核人：安德烈·西波什（布库雷什蒂） MSC公司：47J25型 2009年9月47日 2010年1月3日 53立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛U.Kohlenbach｝和\textit｛P.Pinto｝，J.数学。分析。申请。507，第2号，文章ID 125823，33页（2022；Zbl 1495.47106） 全文： 内政部 arXiv公司
安德烈·西波斯 关于增生算子的定量亚稳态。 arXiv:2210.1131 预印本，arXiv:2210.1131[math.FA]（2022）。MSC公司：47时06分 2009年9月47日 47甲10 2010年1月3日 BibTeX公司 引用 \textit{A.Sipos}，“关于增生算子的定量亚稳态”，预印本，arXiv:2210.1131[math.FA]（2022） 全文： arXiv公司 OA许可证
尼古拉斯·皮斯克 增生集值算子和（广义）单调集值算子的逻辑元定理。 arXiv:2205.01788 预印本，arXiv:2205.01788[math.LO]（2022）。MSC公司：2010年1月3日 35楼03号 05时47分 47时06分 BibTeX公司 引用 \textit{N.Pischke}，“增生和（广义）单调集值算子的逻辑元定理”，Preprint，arXiv:2205.01788[math.LO]（2022） 全文： arXiv公司 OA许可证
安东·弗伦德;乌尔里奇·科伦巴赫 R.E.Bruck，证明挖掘和Banach空间中遍历平均值的渐近正则率。 arXiv:2204.04100 预印本，arXiv:2204.04100[math.DS]（2022）。MSC公司：47甲10 2010年1月3日 BibTeX公司 引用 \textit{A.Freund}和\textit{U.Kohlenbach}，“R.E.Bruck，Banach空间中遍历平均值的证明挖掘和渐近正则率”，Preprint，arXiv:2204.04100[math.DS]（2022） 全文： arXiv公司 OA许可证
托马斯·鲍威尔;弗朗齐斯科斯·威斯内特 赋范空间中渐近弱压缩映射的收敛速度。 （英语） Zbl 1503.47109号 数字。功能。分析。最佳方案。 42，第15号，第3部分，1802-1838（2021）.MSC公司：47J26型 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}和\textit{F.Wiesnet}，数字。功能。分析。最佳方案。42，第15号，第3部分，1802-1838（2021；Zbl 1503.47109） 全文： 内政部 arXiv公司
布鲁诺·迪尼斯;佩德罗·平托 多参数近点算法的定量结果。 （英语） Zbl 07470545号 J.凸面分析。 28，第3期，729-750（2021）. 审核人：安德烈·西波什（布库雷什蒂） MSC公司：2009年9月47日 47N10号 2010年1月3日 46 S30 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{P.Pinto}，J.凸面分析。28，编号3，729--750（2021；Zbl 07470545） 全文： arXiv公司 链接
乔纳森·斯特林 高阶函数和布劳沃的论文。 （英语） 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 1486.03098号 架构（architecture）。数学。逻辑 60，编号7-8，1005-1017（2021）. 审核人：杰弗里·赫斯特（布恩） MSC公司：35楼03号 03B30型 2010年1月3日 03年2月25日 2015财年54 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}，拱门。数学。逻辑60，编号7--81005--1017（2021；Zbl 1486.03098） 全文： 内政部
乌尔里奇·科伦巴赫 证明理论一致有界性、有界集合原理和可数Heine-Borel紧性。 （英语） Zbl 1487.03065号 架构（architecture）。数学。逻辑 60，编号7-8，995-1003（2021）. 审核人：安德烈·西波什（布库雷什蒂） MSC公司：2010年1月3日 2009年9月47日 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}，拱门。数学。逻辑60，编号7--8995--1003（2021；Zbl 1487.03065） 全文： 内政部
安德烈·西波什 一个定量多参数平均遍历定理。 （英语） Zbl 1493.37010号 派克靴。数学杂志。 314，编号1，209-218（2021）. 审核人：劳伦·伊乌·鲁什坦（布库雷什蒂） MSC公司：37A30型 2010年1月3日 47A35型 PDF格式BibTeX公司 XML格式引用 \文本{A.Sipoş}，太平洋地区。数学杂志。314，编号1，209--218（2021；Zbl 1493.37010） 全文： 内政部 arXiv公司
安德烈·西波什 单位间隔上迭代的亚稳态速率。 （英语） Zbl 1514.47109号 数学杂志。分析。申请。 502，第1号，文章ID 125235，第11页（2021）.MSC公司：47J26型 2010年1月3日 05时47分 2009年9月47日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，J.数学。分析。申请。502，第1号，文章ID 125235，11页（2021；Zbl 1514.47109） 全文： 内政部 arXiv公司
劳伦·伊乌·卢什坦;佩德罗·平托 Halpern型近点算法的定量结果。 （英语） Zbl 07353215号 计算。最佳方案。申请。 79，第1号，101-125（2021）.MSC公司：05时47分 2009年9月47日 47J25型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{L.Leuštean}和\textit{P.Pinto}，计算。最佳方案。申请。79，编号1，101--125（2021；Zbl 07353215） 全文： 内政部 arXiv公司
佩德罗·平托 Halpern型近点算法的亚稳态速率。 （英语） Zbl 07336647号 数字。功能。分析。最佳方案。 42，编号3，320-343（2021）.MSC公司：05时47分 2009年9月47日 47J25型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{P.Pinto}，数字。功能。分析。最佳方案。42，编号3，320-343（2021；Zbl 07336647） 全文： 内政部 arXiv公司
布鲁诺·迪尼斯;保罗·奥利瓦 Heyting算法的参数化函数解释。 （英语） Zbl 1506.03122号 Ann.纯粹应用。逻辑 172，第4号，文章ID 102940，24页（2021）.MSC公司：2010年1月3日 03年2月25日 07年3月 30楼03号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}和\textit{P.Oliva}，Ann.Pure Appl。逻辑172，第4号，文章ID 102940，24页（2021；Zbl 1506.03122） 全文： 内政部 arXiv公司 链接
乌尔里奇·科伦巴赫;洛佩斯·阿塞多，杰纳罗;阿德里亚娜·尼古拉 度量空间中的一致介数性质及其在“狮子人”博弈定量分析中的作用。 （英语） Zbl 1460.49029号 派克靴。数学杂志。 310，编号1，181-212（2021）.MSC公司：49N75号 91A24型 2010年1月3日 53立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}等人，太平洋。数学杂志。310，编号1，181--212（2021；Zbl 1460.49029） 全文： 内政部 arXiv公司
藤原真本;Tatsuji Kawai 用连续模上的条形递归刻画Brouwer连续性。 （英语） Zbl 1496.03254号 架构（architecture）。数学。逻辑 60，编号1-2，241-263（2021）. 审核人：Danko Ilik（巴黎） MSC公司：03楼55 03B30型 35楼03号 03楼50 03英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kawai}，拱门。数学。逻辑60，编号1--2，241--263（2021；Zbl 1496.03254） 全文： 内政部
乌尔里奇·科伦巴赫 一致凸Banach空间中近点算法的定量结果。 （英语） 兹比尔1461.47024 J.凸面分析。 28，第1期，11-18（2021年）.MSC公司：05时47分 47J25型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit｛U.Kohlenbach｝，J.凸分析。28，编号1，11--18（2021；Zbl 1461.47024） 全文： 链接
乌尔里奇·科伦巴赫;安德烈·西波什 阳光非膨胀收缩的有限内容。 （英语） Zbl 07266076号 Commun公司。康斯坦普。数学。 23，第1号，文章ID 1950093，63 p.（2021）.MSC公司：47时06分 2009年9月47日 47甲10 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}和\textit{A.Sipoš}，Commun。康斯坦普。数学。23，第1号，文章ID 1950093，63 p.（2021；Zbl 07266076） 全文： 内政部 arXiv公司
托马斯·鲍威尔 关于阿贝尔定理和Tauberian定理有限化的注记。 （英语） Zbl 1521.03217号 数学。日志。问：。 66，编号3，300-310（2020）.MSC公司：2010年1月3日 40E05型 40A05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}，数学。日志。问66，第3号，300-310（2020；Zbl 1521.03217） 全文： 内政部 arXiv公司 OA许可证
乌尔里奇·科伦巴赫 非线性分析和相关领域中的局部形式化以及证明理论的温和性。 （英语） Zbl 07585096号 Paul Weingartner（编辑）等人，《Kreisel的兴趣》。以逻辑和数学为基础。2018年8月13日至14日，奥地利萨尔茨堡，会议的贡献。伦敦：学院出版物。致敬41，45-61（2020）。MSC公司：03A05号 03英尺10英寸 47甲10 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}，《致敬》41，45-61（2020；Zbl 07585096）
恩格拉西亚，巴蒂西亚;费尔南多·费雷拉 抽象类型的有界函数解释。 （英语） Zbl 1505.03126号 阿德里安·雷祖什（编辑），《当代逻辑与计算》。伦敦：学院出版物。朗诗。日志。1, 87-112 (2020).MSC公司：2010年1月3日 30楼03号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{P.Engrácia}和\textit{F.Ferreira}，Landsc。日志。1、87-112（2020年；Zbl 1505.03126）
费尔南多·费雷拉 Herbrand经典二阶算术中的弱König引理。 （英语） Zbl 1486.03096号 端口数学。（不适用） 77，编号3-4，399-408（2020）.MSC公司：2010年1月3日 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}，港口数学。（N.S.）77，编号3--4，399--408（2020；Zbl 1486.03096） 全文： 内政部
布鲁诺·迪尼斯;佩德罗·平托 多参数近点算法的亚稳定性。 （英语） 兹比尔1472.90086 端口数学。（不适用） 77，编号3-4，345-381（2020）.MSC公司：90C25型 2009年9月47日 46N10号 2010年1月3日 03层60 PDF格式BibTeX公司 XML格式引用 \textit｛B.Dinis｝和\textit｛P.Pinto｝，端口数学。（N.S.）77，编号3--4，345--381（2020；Zbl 1472.90086） 全文： 内政部
乌尔里奇·科伦巴赫 Banach空间中增生算子的Halpern-型近点算法的定量分析。 （英语） Zbl 1487.47108号 J.非线性凸分析。 21，第9号，2125-2138（2020）.MSC公司：47J25型 47时06分 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}，J.非线性凸分析。21，第9号，2125--2138（2020；Zbl 1487.47108） 全文： 链接
费尔南多·费雷拉 交换环理论中幂零指数的界：一种证明挖掘方法。 （英语） Zbl 1462.03025号 牛市。符号。日志。 26，编号3-4，257-267（2020）. 审核人：维克托·潘布奇（格伦代尔） MSC公司：2010年1月3日 13甲15 13英尺20英寸 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}，公牛。符号。日志。26，编号3--4，257--267（2020；Zbl 1462.03025） 全文： 内政部
托马斯·鲍威尔 关于Zorn引理的计算内容。 （英语） Zbl 1498.03153号 2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2020，虚拟活动，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。768-781 (2020).MSC公司：03年2月25日 2010年1月3日 03D65年 03E25型 PDF格式BibTeX公司 XML格式引用 \textit｛T.Powell｝，在：2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2020，虚拟活动，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。768--781（2020年；Zbl 1498.03153） 全文： 内政部 arXiv公司
托马斯·鲍威尔 在更高类型中实现连续性和复杂性的统一框架。 （英语） Zbl 07269245号 日志。方法计算。科学。 16，第3号，第17号论文，28页（2020年）.MSC公司：68甲18 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}，日志。方法计算。科学。16，第3号，第17号论文，28页（2020；Zbl 07269245） 全文： arXiv公司 链接
费尔南多·费雷拉 Herbrand二阶算法中的FAN原理和弱König引理。 （英语） Zbl 1455.03077号 Ann.纯粹应用。逻辑 171，第9期，文章ID 102843，20页（2020年）. 审核人：布鲁诺·迪尼斯（里斯本） MSC公司：03英尺10英寸 35楼03号 03楼50 03B40型 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}，Ann.纯苹果。逻辑171，第9号，文章ID 102843，20页（2020；Zbl 1455.03077） 全文： 内政部
托马斯·鲍威尔 好的拟阶和泛函解释。 （英语） 兹比尔1496.03234 Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 221-269 (2020).MSC公司：03英尺10英寸 35楼03号 03D65年 03楼50 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}，趋势日志。螺柱日志。伦敦银行同业拆借利率。53、221--269（2020年；Zbl 1496.03234） 全文： 内政部 arXiv公司
保罗·奥利瓦;徐创杰 关于赫布兰德函数解释。 （英语） Zbl 1521.03216号 数学。日志。问：。 66，第1期，91-98（2020年）.MSC公司：2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{P.Oliva}和\textit{C.Xu}，数学。日志。问66，第1号，91-98（2020；Zbl 1521.03216） 全文： 内政部 arXiv公司
徐创杰 T定义泛函连续性的句法研究。 （英语） Zbl 1528.03115号 日志。方法计算。科学。 16，第1号，第22号论文，第11页（2020年）.MSC公司：03B38型 03B40型 2010年1月3日 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.Xu}，日志。方法计算。科学。16，第1号，第22号论文，第11页（2020；Zbl 1528.03115） 全文： arXiv公司 链接
布鲁诺·迪尼斯;佩德罗·平托 关于带有Tikhonov正则化项的算法的收敛性。 arXiv:2005.07149号 预印本，arXiv:2005.07149[math.FA]（2020）。MSC公司：47J25型 2009年9月47日 05时47分 2010年1月3日 BibTeX公司 引用 \textit{B.Dinis}和\textit{P.Pinto}，“关于具有Tikhonov正则化项的算法的收敛性”，Preprint，arXiv:2005.07149[math.FA]（2020） 全文： 内政部 arXiv公司 OA许可证
托马斯·鲍威尔 经典推理的计算解释：从ε演算到有状态程序。 （英语） Zbl 1469.03161号 Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 255-290 (2019).MSC公司：03年2月25日 30楼03号 35楼03号 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{T.鲍威尔}，Synth。伦敦银行同业拆借利率。41225-290（2019年；Zbl 1469.03161） 全文： 内政部 arXiv公司
安德烈·西波什 在\（L^p\）空间中进行证明挖掘。 （英语） Zbl 1480.03059号 J.塞姆。日志。 84，第4期，1612-1629（2019）.MSC公司：2010年1月3日 46对25 46E30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，J.Symb。日志。84，第4号，1612--1629（2019；Zbl 1480.03059） 全文： 内政部 arXiv公司
安德烈·西波什 紧致非扩张映射的凸组合的渐近性态。 （英语） Zbl 07118235号 J.凸面分析。 26，第3号，911-924（2019）.MSC公司：2009年9月47日 46N10号 47J25型 41A65型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，J.凸面分析。26，第3号，911--924（2019；Zbl 07118235） 全文： arXiv公司 链接
费尔南多·费雷拉;劳伦·伊乌·卢什坦;佩德罗·平托 证明挖掘中弱紧性参数的去除。 （英语） Zbl 1446.03100号 高级数学。 354，文章ID 106728，55 p.（2019）. 审核人：安德烈·西波什（达姆施塔特） MSC公司：2010年1月3日 35楼03号 47时25分 2009年9月47日 47J25型 47甲10 PDF格式BibTeX公司 XML格式引用 \textit｛F.Ferreira｝等人，高级数学。354，文章ID 106728，55 p.（2019；Zbl 1446.03100） 全文： 内政部 arXiv公司
托马斯·鲍威尔 一个新的亚稳态收敛准则及其在一致凸Banach空间理论中的应用。 （英语） Zbl 1502.47102号 数学杂志。分析。申请。 478，2号，790-805（2019）. 审核人：安德烈·西波什（布库雷什蒂） MSC公司：47J26型 2009年9月47日 03英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{T.鲍威尔}，J.数学。分析。申请。478，第2号，790--805（2019；Zbl 1502.47102） 全文： 内政部 arXiv公司
托马斯·鲍威尔 参数化条递归：经典依赖选择可实现性解释的统一框架。 （英语） Zbl 1444.03141号 J.日志。计算。 29，第4号，519-554（2019）.MSC公司：03D65年 2010年1月3日 03年2月25日 03E25型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.鲍威尔}，J.洛格。计算。29，第4号，519--554（2019；Zbl 1444.03141） 全文： 内政部 arXiv公司
Tatsuji Kawai 用邻域函数表示\（\mathrm{HA}^{\omega}\）的可定义函数。 （英语） Zbl 1461.03057号 Ann.纯粹应用。逻辑 170，第8号，891-909（2019）.MSC公司：03楼55 03楼50 2010年1月3日 03D65年 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kawai}，Ann.纯粹应用。逻辑170，No.8，891--909（2019；Zbl 1461.03057） 全文： 内政部 arXiv公司
藤原真本;Tatsuji Kawai 连续模连续函数条归纳和条递归的等价性。 （英语） Zbl 1459.03091号 Ann.纯粹应用。逻辑 170，编号8，867-890（2019）.MSC公司：03楼55 35楼03号 2010年1月3日 03B30型 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kawai}，Ann.Pure Appl。逻辑170，编号8，867-890（2019；Zbl 1459.03091） 全文： 内政部
乌尔里奇·科伦巴赫 Hilbert空间中投影组成的渐近正则性的多项式比率。 （英语） Zbl 07027311号 已找到。计算。数学。 19，第1号，83-99（2019）.MSC公司：05时47分 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}，已找到。计算。数学。19，编号1，83-99（2019；Zbl 07027311） 全文： 内政部
威廉·西蒙斯;亨利·托斯纳 微分多项式环的证明挖掘和有效界。 （英语） Zbl 1454.12003年 高级数学。 343, 567-623 (2019).MSC公司：2005年12月 03英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{W.Simmons}和\textit{H.Towsner}，高级数学。343567-623（2019年；Zbl 1454.12003年） 全文： 内政部 arXiv公司
本诺·范登伯格;山姆·桑德斯 逆向数学和无参数传输。 （英语） 兹伯利06994737 Ann.纯粹应用。逻辑 170，第3号，273-296（2019）.MSC公司：03B30型 03D65年 2010年1月3日 35楼03号 26E35岁 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{S.Sanders}，Ann.Pure Appl。逻辑170，No.3，273--296（2019；Zbl 06994737） 全文： 内政部 arXiv公司
布鲁诺·迪尼斯;佩德罗·平托 多参数近点算法的亚稳定性。 arXiv:1906.09129 预印本，arXiv:1906.09129[math.LO]（2019）。MSC公司：90C25型 2009年9月47日 46N10号 2010年1月3日 03层60 BibTeX公司 引用 \textit{B.Dinis}和\textit{P.Pinto}，“具有多参数的近点算法的亚稳定性”，预打印，arXiv:1906.09129[math.LO]（2019） 全文： 内政部 arXiv公司 OA许可证
托马斯·鲍威尔 带有状态的函数解释。 （英语） Zbl 1453.03065号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。839-848 (2018).MSC公司：03年2月25日 2010年1月3日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9-12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。839-848（2018；Zbl 1453.03065） 全文： 内政部
乌尔里奇·科伦巴赫 非线性分析中的验证理论方法。 （英语） Zbl 1445.03062号 Sirakov，Boyan（编辑）等人，《国际数学家大会论文集》，ICM 2018，巴西里约热内卢，2018年8月1日至9日。第二卷。受邀演讲。新泽西州哈肯萨克：世界科学；里约热内卢：巴西马特马提卡社会（SBM）。61-82 (2018).MSC公司：2010年1月3日 35楼03号 47甲10 47H20个 47时25分 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}，in：2018年国际数学家大会会议记录，ICM 2018，巴西里约热内卢，2018年8月1-9日。第二卷。受邀演讲。新泽西州哈肯萨克：世界科学；里约热内卢：巴西马特马提卡社会（SBM）。61-82（2018年；Zbl 1445.03062） 全文： 内政部 链接
威廉·霍华德（William A.Howard）。 与比尔就功能和术语进行对话。 （英语） Zbl 1423.03009号 埃里希·雷克（编辑），《逻辑、数学哲学及其历史》。纪念W.W.Tait的论文。伦敦：学院出版物。致敬36，33-49（2018）。MSC公司：03-03 01A60型 01A70号 03财年03 03日30分 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Howard}，《致敬》36，33-49（2018；Zbl 1423.03009）
所罗门·费弗曼 比尔·泰特对数学逻辑这十年的杰出贡献。 （英语） 兹比尔1423.03008 埃里希·雷克（编辑），《逻辑、数学哲学及其历史》。纪念W.W.Tait的论文。伦敦：学院出版物。致敬36，13-32（2018）。MSC公司：03-03 01A70号 01A60型 03财年03 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman}，《致敬》36，13-32（2018；Zbl 1423.03008）
劳伦·伊乌·卢什坦;安德烈·西波什 证明挖掘在CAT（0）空间邻近点算法中的应用。 （英语） Zbl 1416.03028号 贝娄（Alexandra Bellow）（编辑）等人，《数学几乎无处不在》。纪念所罗门·马库斯。新泽西州哈肯萨克：《世界科学》。153-167（2018年）。MSC公司：2010年1月3日 47J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Leuštean}和\textit{A.Sipoš}，in：几乎到处都是数学。纪念所罗门·马库斯。新泽西州哈肯萨克：《世界科学》。153-167（2018；Zbl 1416.03028） 全文： 内政部 arXiv公司
亨利·托斯纳 James空间局部无条件常数的逆Ackermannian下界。 （英语） Zbl 1414.46016号 休斯顿数学杂志。 44，第3期，873-885（2018）. 审核人：丹尼尔·普格利西（卡塔尼亚） MSC公司：46个B07 46对25 46个B08 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{H.Towsner}，休斯顿数学杂志。44，第3号，873--885（2018；Zbl 1414.46016） 全文： arXiv公司
劳伦·伊乌·卢什坦;安德烈·西波什 CAT（0）空间中邻近点算法的有效强收敛性。 （英语） Zbl 1459.46070号 J.非线性变量分析。 2，编号219-228（2018）.MSC公司：46N10号 47J25型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{L.Leuštean}和\textit{A.Sipoš}，《非线性变化分析杂志》。2，编号219-228（2018；兹bl 1459.46070） 全文： 内政部 arXiv公司
劳伦·伊乌·卢什坦;阿德里亚娜·尼古拉;安德烈·西波什 一种抽象的近点算法。 （英语） Zbl 1414.90267号 J.全球。最佳方案。 72，第3期，553-577（2018）.MSC公司：90C25型 46N10号 47J25型 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{L.Leuštean}等人，J.Glob。最佳方案。72，第3号，553--577（2018；Zbl 1414.90267） 全文： 内政部 arXiv公司
藤原真本;乌尔里奇·科伦巴赫 双重否定移位的弱片段与相关原则之间的相互关系。 （英语） 兹比尔1445.03006 J.塞姆。日志。 83，第3期，991-1012（2018）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：03B20型 03楼50 2010年1月3日 03年2月25日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{U.Kohlenbach}，J.Symb。日志。83，第3号，991--1012（2018；Zbl 1445.03006） 全文： 内政部 链接
保罗·奥利瓦;西尔维娅·斯特拉 Schwichtenberg条递归闭包定理的直接证明。 （英语） Zbl 1406.03059号 J.塞姆。日志。 83，第1号，70-83（2018）. 审核人：安德烈·西波什（达姆施塔特） MSC公司：07年3月 03英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{P.Oliva}和\textit{S.Steila}，J.Symb。日志。83，第1号，70--83（2018；Zbl 1406.03059） 全文： 内政部 arXiv公司 链接
乌尔里奇·科伦巴赫;劳伦·伊乌·卢什坦;阿德里亚娜·尼古拉 Fejér单调序列的定量结果。 （英语） Zbl 06814506号 Commun公司。康斯坦普。数学。 20，第2号，文章ID 1750015，42 p.（2018）.MSC公司：47J25型 05时47分 2010年1月3日 2009年9月47日 47甲10 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}等人，Commun。康斯坦普。数学。20，第2号，文章ID 1750015，42 p.（2018；Zbl 06814506） 全文： 内政部 arXiv公司
费尔南多·费雷拉 关于Kripke-Platek集理论的一些半构造理论。 （英语） Zbl 1429.03205号 Jäger，Gerhard（编辑）等人，《地基上的费弗曼》。逻辑、数学、哲学。查姆：斯普林格。Outst公司。控制日志。13, 347-384 (2017).MSC公司：2010年1月3日 35楼03号 第03页 03E70型 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{F.费雷拉}，Outst。控制日志。13、347--384（2017；Zbl 1429.03205） 全文： 内政部
Angeliki Koutsoukou-Argyraki 增生算子解的有效收敛速度。 （英语） Zbl 1491.47052号 数字。功能。分析。最佳方案。 38，第12期，1601-1613（2017）.MSC公司：47J10型 47时06分 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Koutsoukou-Argyraki}，数字。功能。分析。最佳方案。38，第12号，1601--1613（2017；Zbl 1491.47052） 全文： 内政部
本诺·范登伯格;伊文德·布里塞德;萨法利克、帕沃 可数饱和度的强度。 （英语） Zbl 1417.03291号 架构（architecture）。数学。逻辑 56，第5-6号，699-711（2017）.MSC公司：03英尺10英寸 03年2月25日 03楼50 05年3月 11单元10 26E35岁 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}等人，Arch。数学。逻辑56，No.5--6，699--711（2017；Zbl 1417.03291） 全文： 内政部 arXiv公司 链接
费尔南多·费雷拉;吉尔达·费雷拉 经典一阶逻辑的赫氏功能解释。 （英语） Zbl 1417.03290号 架构（architecture）。数学。逻辑 56，编号5-6，523-539（2017）.MSC公司：03英尺10英寸 03B10号机组 03B40型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}和\textit{G.Ferreira}，拱门。数学。逻辑56，No.5--6，523--539（2017；Zbl 1417.03290） 全文： 内政部 链接
乌尔里奇·科伦巴赫;洛佩兹·阿塞多，杰纳罗;阿德里亚娜·尼古拉 两个映射合成的定量渐近正则性结果。 （英语） Zbl 1477.47043号 优化 66，第8期，1291-1299（2017）.MSC公司：2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}等人，《优化》66，第8期，1291--1299（2017；Zbl 1477.47043） 全文： 内政部 arXiv公司 链接
马丁·埃斯卡多;保罗·奥利瓦 Herbrand对双重否定移位的功能解释。 （英语） Zbl 1419.03051号 J.塞姆。日志。 82，第2期，590-607（2017）.MSC公司：07年3月 2010年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Escardó｝和\textit｛P.Oliva｝，J.Symb。日志。82，第2号，590--607（2017；Zbl 1419.03051） 全文： 内政部 arXiv公司
美国科伦巴赫。;A.尼古拉。 （mathrm{CAT}（kappa））-空间的一个证明理论界抽取定理。 （英语） 兹比尔1420.03140 螺柱日志。 105，第3号，611-624（2017）.MSC公司：2010年1月3日 53元22角 58D17号 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}和\textit{A.Nicolae}，Stud.Log。105，第3号，611--624（2017；Zbl 1420.03140） 全文： 内政部
Angeliki Koutsoukou-Argyraki 非线性算子理论的证明挖掘。关于增生算子、柯西问题和非扩张半群的四个案例研究。 （英语） Zbl 1368.47001号 达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）。xi，第129页。(2017).MSC公司：47-02 47H20个 2010年1月3日 47时06分 PDF格式BibTeX公司 XML格式引用 \textit{A.Koutsoukou-Argyraki}，非线性算子理论的证明挖掘。关于增生算子、柯西问题和非扩张半群的四个案例研究。达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）（2017；Zbl 1368.47001） 全文： 链接 链接 链接
安德烈·西波什 关于Banach空间中（k）-严格伪压缩的Mann迭代的注记。 （英语） Zbl 1382.47032号 数字。功能。分析。最佳方案。 38，第1期，80-90（2017）.MSC公司：47J25型 2009年9月47日 03英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，数字。功能。分析。最佳方案。38，第1号，80-90（2017；Zbl 1382.47032） 全文： 内政部 arXiv公司
保罗·奥利瓦;托马斯·鲍威尔 有限部分函数上的条形递归。 （英语） Zbl 1422.03091号 Ann.纯粹应用。逻辑 168，第5期，887-921（2017）.MSC公司：03D65年 2010年1月3日 03年2月25日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.Oliva}和\textit{T.Powell}，Ann.Pure Appl。逻辑168，No.5，887--921（2017；Zbl 1422.03091） 全文： 内政部 arXiv公司
安德烈·西波什 非线性映射族不动点算法的有效结果。 （英语） Zbl 1422.03123号 Ann.纯粹应用。逻辑 168，第1期，第112-128页（2017年）.MSC公司：2010年1月3日 03层60 47J25型 2009年9月47日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sipoš}，Ann.《纯粹的应用》。逻辑168，No.1，112--128（2017；Zbl 1422.03123） 全文： 内政部 arXiv公司
拉尔斯·哈伦亚斯 论集合论的证明理论基础。 （英语） Zbl 1528.03227号 Piecha，Thomas（编辑）等人，《证明理论语义学进展》。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。43, 161-171 (2016).MSC公司：03财年03 03E30年 03E70型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit｛L.Hallnäs｝，趋势日志。螺柱日志。伦敦银行同业拆借利率。43、161--171（2016；Zbl 1528.03227） 全文： 内政部
乔安·兰德·莫肖瓦基斯 迭代可定义性、无法无天的序列和Brouwer连续统。 （英语） Zbl 1433.03149号 Horsten，Leon（编辑）等人，哥德尔分离。数学知识的范围和局限。牛津：牛津大学出版社。92-107 (2016).MSC公司：03楼55 03B20型 2010年1月3日 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Moschovakis}，in：哥德尔析取。数学知识的范围和局限。牛津：牛津大学出版社。92-107（2016年；Zbl 1433.03149） 全文： 内政部
托马斯·鲍威尔 哥德尔的功能解释和学习的概念。 （英语） Zbl 1401.68049号 2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。136-145 (2016).MSC公司：68纳米30 2010年1月3日 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}，in：2016年第31届ACM/IEEE计算机科学逻辑年会论文集，2016年7月5-8日，美国纽约市，LICS 2016。纽约州纽约市：计算机协会（ACM）。136-145（2016；Zbl 1401.68049） 全文： 内政部
乌尔里奇·科伦巴赫 关于Banach空间和测地空间中强非扩张映射的数量渐近行为。 （英语） Zbl 1358.47038号 以色列。数学杂志。 216，第1期，215-246（2016）.MSC公司：2009年9月47日 47J25型 03英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}，以色列。数学杂志。216，第1号，215--246（2016；Zbl 1358.47038） 全文： 内政部
劳伦·伊乌·卢什坦;拉德，弗拉德;安德烈·西波什 Lipschitz伪压缩Ishikawa迭代的定量结果。 （英语） Zbl 1381.47054号 J.非线性凸分析。 17，第11号，2277-2292（2016）.MSC公司：47J25型 2009年9月47日 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{L.Leuštean}等人，《非线性凸分析杂志》。17，第11号，2277--2292（2016；Zbl 1381.47054） 全文： arXiv公司 链接
丹尼尔·科恩莱因 不动点理论和凸优化中迭代算法的定量分析。 （英语） Zbl 1346.47001号 达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）。142页。(2016).MSC公司：47-02 47甲10 2009年9月47日 47J25型 03层60 2010年1月3日 90C25型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Körnlein}，不动点理论和凸优化中迭代算法的定量分析。达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）（2016；Zbl 1346.47001） 全文： 链接 链接
丹尼尔·古恩泽尔;乌尔里奇·科伦巴赫 抽象空间的逻辑元定理在正有界逻辑中公理化。 （英语） 兹比尔1402.03078 高级数学。 290, 503-551 (2016).MSC公司：2010年1月3日 03C20号 46个B08 46磅42 46E30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Günzel}和\textit{U.Kohlenbach}，高级数学。290503--551（2016；Zbl 1402.03078） 全文： 内政部
乌尔里奇·科伦巴赫;Angeliki Koutsoukou-Argyraki 单参数非扩张半群的有效渐近正则性。 （英语） Zbl 1432.03116号 数学杂志。分析。申请。 433，第2期，1883-1903（2016）. 审核人：安德烈·西波什（达姆施塔特） MSC公司：2010年1月3日 47H20个 47甲10 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}和\textit{A.Koutsoukou-Argyraki}，J.数学。分析。申请。433，No.2，1883-1903（2016；Zbl 1432.03116） 全文： 内政部
保罗·奥利瓦;托马斯·鲍威尔 经典分析中对证明的博弈论计算解释。 （英语） Zbl 1378.03046号 Kahle，Reinhard（编辑）等人，Gentzen百年诞辰。追求一致性。查姆：施普林格（ISBN 978-3-319-10102-6/pbk；978-3-3169-10103-3/ebook）。501-531 (2015).MSC公司：03年2月25日 03英尺10英寸 03D65年 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Oliva}和\textit{T.Powell}，in：Gentzen百年诞辰。追求一致性。查姆：斯普林格。501-531（2015；Zbl 1378.03046） 全文： 内政部 arXiv公司
费尔南多·费雷拉 Spector对分析一致性的证明。 （英语） Zbl 1378.03045号 Kahle，Reinhard（编辑）等人，Gentzen百年诞辰。追求一致性。查姆：施普林格（ISBN 978-3-319-10102-6/pbk；978-3-3169-10103-3/ebook）。279-300 (2015).MSC公司：03年2月25日 2010年1月3日 03D65年 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira}，in：Gentzen百年诞辰。追求一致性。查姆：斯普林格。279--300（2015；Zbl 1378.03045） 全文： 内政部