编辑配置文件（在新选项卡中打开） 保罗·奥利瓦 合著者距离 作者ID： 奥利瓦·保罗 发布日期： 保罗·奥利瓦；奥利瓦，P。 主页： 网址：http://www.eecs.qmul.ac.uk/~pbo/ 外部链接： MGP公司·ORCID公司 已编制索引的文档： 53出版物自2002年以来，包括5份额外的arXiv预印本 1名编辑贡献 合著者： 21位合著者具有42联合出版物 247位合作作者 全部的 前5名合著者 8 单作者的 9 罗布·D·阿尔森。 9 Hötzel Escardó，马汀 6 吉尔达·费雷拉 三 乌苏拉·马丁 三 菲利普·扎恩 2 乌尔里希·伯杰 2 费尔南多·费雷拉 2 朱尔斯·赫奇斯 2 乌尔里希·威廉·科伦巴赫 2 埃里克·马西森。 2 西尔维娅·斯特拉 2 维克多·温切尔 1 斯特凡诺·贝拉尔迪 1 布鲁诺·迪尼斯 1 詹姆·加斯帕 1 Mircea-Dan赫内斯特 1 安德鲁·刘易斯·史密斯 1 Evguenia Shprits 1 托马斯·斯特里彻 1 温舍尔，伊夫格尼亚 1 徐创杰 全部的 前5名系列 7 纯逻辑与应用逻辑年鉴 5 数学逻辑季刊（MLQ） 三 符号逻辑杂志 三 MSCS公司。计算机科学中的数学结构 2 Studia Logica公司 2 逻辑与计算杂志 1 圣母院形式逻辑杂志 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 伦敦皇家学会会刊。系列A.数学、物理和工程科学 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 逻辑与分析杂志 1 游戏 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 49 数学逻辑和基础（03-XX） 5 计算机科学（68至XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 2 范畴理论；同调代数（18-XX） 2 近似和展开（41至XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 实际功能（26年X月X日） 1 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 43出版物有被引用275中的次161文件 引用人▼ 年份▼ 有界限的功能解释。 Zbl 1095.03060号 费尔南多·费雷拉；保罗·奥利瓦 38 2005 证明挖掘：一种分析数学证明的系统方法。 Zbl 1079.03045号 Kohlenbach，美国。；奥利瓦，P。 23 2003 选择函数、条递归和反向归纳。 Zbl 1207.03072号 马丁·埃斯卡多；保罗·奥利瓦 19 2010 序贯博弈和最优策略。 兹比尔1228.91009 马丁·埃斯卡多；保罗·奥利瓦 18 2011 修改了条形递归。 Zbl 1101.03032号 乌尔里希·伯杰；保罗·奥利瓦 11 2006 理解和使用经典分析的Spector条递归解释。 Zbl 1145.68421号 保罗·奥利瓦 10 2006 关于Krivine对经典二阶算法的可实现性解释。 Zbl 1169.03046号 保罗·奥利瓦；托马斯·斯特里彻 9 2008 统一功能解释。 兹比尔1113.03052 保罗·奥利瓦 9 2006 改进的bar递归和经典依赖选择。 Zbl 1081.03059号 乌尔里希·伯杰；保罗·奥利瓦 9 2005 关于各种否定翻译之间的关系。 Zbl 1320.03087号 吉尔达·费雷拉；保罗·奥利瓦 9 2012 混合功能解释。 Zbl 1142.03368号 Mircea-Dan赫内斯特；保罗·奥利瓦 7 2008 在（L_{1}）-近似下的证明挖掘。 Zbl 1026.03040号 Ulrich Kohlenbach公司；保罗·奥利瓦 7 2003 Schwichtenberg条递归闭包定理的直接证明。 兹比尔1406.03059 保罗·奥利瓦；西尔维娅·斯特拉 6 2018 通过选择函数的乘积对分析进行计算解释。 Zbl 1251.03073号 马丁·埃斯卡多；保罗·奥利瓦 5 2010 皮尔士翻译与双重否定转换。 Zbl 1251.03065号 马丁·埃斯卡多；保罗·奥利瓦 5 2010 抽象地讲逻辑。 Zbl 1225.03032号 乌苏拉·马丁；埃里克·马西森。；保罗·奥利瓦 5 2006 经典线性逻辑的计算解释。 Zbl 1213.03074号 保罗·奥利瓦 5 2007 在Spector条递归上。 Zbl 1251.03066号 保罗·奥利瓦；托马斯·鲍威尔 5 2012 系统T和选择函数的乘积。 Zbl 1247.03120号 马丁·埃斯卡多；保罗·奥利瓦；托马斯·鲍威尔 5 2011 Herbrand对双重否定移位的功能解释。 Zbl 1419.03051号 马丁·埃斯卡多；保罗·奥利瓦 5 2017 线性逻辑和直觉逻辑的混合函数解释。 Zbl 1242.03086号 保罗·奥利瓦 5 2012 通过选择函数的乘积对拉姆齐定理进行构造性解释。 兹比尔1362.03051 保罗·奥利瓦；托马斯·鲍威尔 5 2015 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪；保罗·奥利瓦；西尔维娅·斯特拉 4 2019 线性逻辑和直觉逻辑的功能解释。 Zbl 1193.03081号 保罗·奥利瓦 4 2010 有限功能解释和可行性分析。 Zbl 1112.03052号 费尔南多·费雷拉；保罗·奥利瓦 4 2007 条形递归和选择函数的乘积。 Zbl 1380.03064号 马丁·埃斯卡多；保罗·奥利瓦 4 2015 关于各种负面翻译。 Zbl 1456.03089号 吉尔达·费雷拉；保罗·奥利瓦 4 2011 直觉主义线性逻辑的函数解释。 兹比尔1193.03080 吉尔达·费雷拉；保罗·奥利瓦 三 2009 经典分析中证明的博弈论计算解释。 Zbl 1378.03046号 保罗·奥利瓦；托马斯·鲍威尔 三 2015 有限部分函数上的条形递归。 Zbl 1422.03091号 保罗·奥利瓦；托马斯·鲍威尔 三 2017 完善Floyd-Hoare逻辑的一般框架。 Zbl 1351.03020号 罗布·阿尔森；乌苏拉·马丁；埃里克·马西森。；保罗·奥利瓦 三 2009 线性系统的霍尔逻辑。 Zbl 1298.68163号 罗布·阿尔森；马丁·厄休拉；保罗·奥利瓦 三 2013 高阶决策理论。 Zbl 1398.91182号 朱尔斯·赫奇斯；保罗·奥利瓦；Evguenia Shprits；维克多·温切尔；菲利普·扎恩 三 2017 皮尔士译本。 Zbl 1251.03068号 马丁·埃斯卡多；保罗·奥利瓦 三 2012 直觉主义线性逻辑的函数解释。 Zbl 1227.03079号 吉尔达·费雷拉；保罗·奥利瓦 2 2011 用事实证明解释。 Zbl 1211.03087号 詹姆·加斯帕；保罗·奥利瓦 2 2010 关于Borel-Cantelli引理、Erdős-Rényi定理和Kochen-Stone定理。 Zbl 07471628号 罗布·阿尔森；保罗·奥利瓦 2 2021 直觉主义逻辑的克里普克语义。 Zbl 1487.03027号 刘易斯·史密斯，A。；奥利瓦，P。；罗宾逊，E。 2 2021 Heyting算法的参数化函数解释。 Zbl 1506.03122号 布鲁诺·迪尼斯；保罗·奥利瓦 2 2021 （双）环箍具有独特的对分功能。 Zbl 1383.68068号 罗布·阿尔森；保罗·奥利瓦 1 2013 受限的修改可实现性。 Zbl 1184.03056号 吉尔达·费雷拉；保罗·奥利瓦 1 2010 关于最佳（L_1）近似的计算复杂度。 Zbl 1011.41014号 保罗·奥利瓦 1 2002 统一功能解释：过去和未来。 Zbl 1367.03006号 保罗·奥利瓦 1 2014 关于Borel-Cantelli引理、Erdős-Rényi定理和Kochen-Stone定理。 Zbl 07471628号 罗布·阿尔森；保罗·奥利瓦 2 2021 直觉主义逻辑的克里普克语义。 Zbl 1487.03027号 刘易斯·史密斯，A。；奥利瓦，P。；罗宾逊，E。 2 2021 Heyting算法的参数化函数解释。 Zbl 1506.03122号 布鲁诺·迪尼斯；保罗·奥利瓦 2 2021 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪；保罗·奥利瓦；西尔维娅·斯特拉 4 2019 Schwichtenberg条递归闭包定理的直接证明。 兹比尔1406.03059 保罗·奥利瓦；西尔维娅·斯泰拉 6 2018 Herbrand对双重否定移位的功能解释。 Zbl 1419.03051号 马丁·埃斯卡多；保罗·奥利瓦 5 2017 有限部分函数上的条形递归。 Zbl 1422.03091号 保罗·奥利瓦；托马斯·鲍威尔 三 2017 高阶决策理论。 Zbl 1398.91182号 朱尔斯·赫奇斯；保罗·奥利瓦；Evguenia Shprits；维克多·温切尔；菲利普·扎恩 三 2017 通过选择函数的乘积对拉姆齐定理的构造性解释。 Zbl 1362.03051号 保罗·奥利瓦；托马斯·鲍威尔 5 2015 条形递归和选择函数的乘积。 Zbl 1380.03064号 马丁·埃斯卡多；保罗·奥利瓦 4 2015 经典分析中证明的博弈论计算解释。 Zbl 1378.03046号 保罗·奥利瓦；托马斯·鲍威尔 三 2015 统一功能解释：过去和未来。 Zbl 1367.03006号 保罗·奥利瓦 1 2014 线性系统的霍尔逻辑。 Zbl 1298.68163号 罗布·阿尔森；乌苏拉·马丁；保罗·奥利瓦 三 2013 （双）环箍具有独特的对分功能。 Zbl 1383.68068号 罗布·阿尔森；保罗·奥利瓦 1 2013 关于各种否定翻译之间的关系。 Zbl 1320.03087号 吉尔达·费雷拉；保罗·奥利瓦 9 2012 在Spector条递归上。 Zbl 1251.03066号 保罗·奥利瓦；托马斯·鲍威尔 5 2012 线性逻辑和直觉逻辑的混合函数解释。 Zbl 1242.03086号 保罗·奥利瓦 5 2012 皮尔士译本。 Zbl 1251.03068号 马丁·埃斯卡多；保罗·奥利瓦 三 2012 序贯博弈和最优策略。 兹比尔1228.91009 马丁·埃斯卡多；保罗·奥利瓦 18 2011 系统T和选择函数的乘积。 Zbl 1247.03120号 马丁·埃斯卡多；保罗·奥利瓦；托马斯·鲍威尔 5 2011 关于各种负面翻译。 兹比尔1456.03089 吉尔达·费雷拉；保罗·奥利瓦 4 2011 直觉主义线性逻辑的函数解释。 Zbl 1227.03079号 吉尔达·费雷拉；保罗·奥利瓦 2 2011 选择函数、条递归和反向归纳。 Zbl 1207.03072号 马丁·埃斯卡多；保罗·奥利瓦 19 2010 通过选择函数的乘积对分析进行计算解释。 Zbl 1251.03073号 马丁·埃斯卡多；保罗·奥利瓦 5 2010 皮尔士翻译与双重否定转换。 Zbl 1251.03065号 马丁·埃斯卡多；保罗·奥利瓦 5 2010 线性逻辑和直觉逻辑的功能解释。 兹比尔1193.03081 保罗·奥利瓦 4 2010 用事实证明解释。 Zbl 1211.03087号 詹姆·加斯帕；保罗·奥利瓦 2 2010 受限的修改可实现性。 Zbl 1184.03056号 吉尔达·费雷拉；保罗·奥利瓦 1 2010 直觉主义线性逻辑的函数解释。 Zbl 1193.03080号 吉尔达·费雷拉；保罗·奥利瓦 三 2009 完善Floyd-Hoare逻辑的一般框架。 兹比尔1351.03020 罗布·阿尔森；乌苏拉·马丁；埃里克·马西森。；保罗·奥利瓦 三 2009 关于Krivine对经典二阶算法的可实现性解释。 Zbl 1169.03046号 保罗·奥利瓦；托马斯·斯特里彻 9 2008 混合功能解释。 Zbl 1142.03368号 Mircea-Dan赫内斯特；保罗·奥利瓦 7 2008 经典线性逻辑的计算解释。 Zbl 1213.03074号 保罗·奥利瓦 5 2007 有限功能解释和可行性分析。 Zbl 1112.03052号 费尔南多·费雷拉；保罗·奥利瓦 4 2007 修改了条形递归。 Zbl 1101.03032号 乌尔里希·伯杰；保罗·奥利瓦 11 2006 理解和使用经典分析的Spector条递归解释。 Zbl 1145.68421号 保罗·奥利瓦 10 2006 统一功能解释。 Zbl 1113.03052号 保罗·奥利瓦 9 2006 抽象地讲逻辑。 Zbl 1225.03032号 乌苏拉·马丁；埃里克·马西森。；保罗·奥利瓦 5 2006 有限的功能解释。 Zbl 1095.03060号 费尔南多·费雷拉；保罗·奥利瓦 38 2005 改进的bar递归和经典依赖选择。 Zbl 1081.03059号 乌尔里希·伯杰；保罗·奥利瓦 9 2005 证明挖掘：一种分析数学证明的系统方法。 Zbl 1079.03045号 美国科伦巴赫。；奥利瓦，P。 23 2003 在（L_{1}）-近似下的证明挖掘。 Zbl 1026.03040号 Ulrich Kohlenbach公司；保罗·奥利瓦 7 2003 关于最佳L_1逼近的计算复杂性。 Zbl 1011.41014号 保罗·奥利瓦 1 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名133位作者引用 21 保罗·奥利瓦 16 乌尔里希·威廉·科伦巴赫 9 费尔南多·费雷拉 7 布鲁诺·迪尼斯 7 Hötzel Escardó，马汀 6 佩德罗·平托 6 安德烈·西波什 5 吉尔达·费雷拉 5 詹姆·加斯帕 5 山姆·桑德斯 4 乌尔里希·伯杰 4 Mircea-Dan赫内斯特 4 西尔维娅·斯特拉 三 布里塞德，伊文德·马托尔 三 马泰奥·卡普奇 三 菲利普·格哈迪 三 尼尔·加尼 三 朱尔斯·赫奇斯 三 胜本，Shin-ya 三 卡瓦伊、达松吉 三 劳伦·伊乌·卢什坦 三 埃蒂安·米基 三 弗雷德里克·诺德瓦尔·福斯伯格 三 萨法里克，帕沃尔 三 彼得·迈克尔·舒斯特 三 Trifonov、Trifon A。 三 本诺·范登伯格 2 亚历杭德罗·阿吉雷 2 罗布·D·阿尔森。 2 费德里科·阿西埃里 2 杰里米·阿维加德 2 恩格拉西亚，巴蒂西亚 2 藤原真本 2 Jean-Louis Krivine 2 克莱门斯·库普克 2 阿拉斯代尔·兰伯特 2 丸山义弘 2 亚历山大·米克尔 2 阿尔贝托·奈博 2 阿德里亚娜·尼古拉 2 迈克尔·拉特扬 2 莫尼卡·塞森伯格 2 亨利·托斯纳 2 弗朗齐斯科斯·威斯内特 1 马丁·阿巴迪 1 Krzysztof Rafal公寓 1 Joan Bagaria 1 莫华·班纳吉 1 安德烈·鲍尔 1 斯特凡诺·贝拉尔迪 1 马克·比克福德 1 比林，身体 1 埃本·布莱斯德尔 1 安德烈亚斯·拉斐尔·布拉斯 1 玛丽亚·保拉（Maria Paola Bonacina） 1 菲利波·邦奇 1 Samuel R.巴斯。 1 维南西奥·卡普雷塔 1 路易斯·埃斯特拉达。 1 乌尔里希·富巴赫 1 韦斯利·福斯纳 1 马可·加博阿迪 1 布鲁诺加夫拉诺维奇 1 杰里米·吉本斯 1 朱利奥·格雷里 1 毛里西奥·吉列尔莫 1 丹尼尔·古恩泽尔 1 爱德华·赫尔曼·海尔 1 约翰·哈特曼 1 朱利安·赫奇斯 1 丹，赫尼斯特 1 迈克尔·安东·Högele 1 约书亚·霍兰德 1 侯铁英 1 罗莎莉，伊姆霍夫 1 伊利克、丹科 1 本杰明·卢西恩·卡明斯基 1 Max Iosifovich，卡诺维奇 1 Joost-Pieter卡托恩 1 克里斯蒂安森，拉尔斯 1 佐藤库拉 1 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 1 杰雷米·莱登特 1 安德鲁·刘易斯·史密斯 1 克里斯蒂娜·利夫克 1 林哲 1 塔德乌兹·利塔克 1 洛佩斯·阿塞多，杰纳罗 1 马明辉 1 安格斯·约翰·麦金太尔 1 乌苏拉·马丁 1 A.R.马提尼。 1 克里斯托夫·马提亚 1 戴尔·艾伦·米勒 1 更多，Anuj Kumar 1 莫里尼基·内里 1 萨托鲁·尼基 1 达格·诺曼 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 费德里科·奥利梅多 …还有33位作者 全部的 前5名36篇连载文章中引用 30 纯逻辑与应用逻辑年鉴 12 符号逻辑杂志 9 MSCS公司。计算机科学中的数学结构 9 数学逻辑季刊（MLQ） 7 数学逻辑档案 7 计算机科学中的逻辑方法 5 符号逻辑公报 4 数学分析与应用杂志 4 Studia Logica公司 4 理论计算机科学 三 数学进展 三 计算的形式方面 2 数值泛函分析与优化 2 美国数学学会会刊 2 信息与计算 2 Indagationes Mathematicae公司。新系列 2 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 葡萄牙数学。Nova Série公司 1 以色列数学杂志 1 Mathematische Nachrichten数学 1 统计与概率信件 1 优化 1 自动推理杂志 1 全球优化杂志 1 逻辑、语言与信息杂志 1 凸分析杂志 1 函数编程杂志 1 Documenta Mathematica公司 1 计算系统理论 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 当代数学中的交际 1 逻辑与代数程序设计杂志 1 Oberwolfach报告 1 逻辑与分析杂志 1 程序设计中的逻辑和代数方法杂志 1 葡萄牙数学 全部的 前5名23个字段中引用 139 数学逻辑和基础（03-XX） 38 计算机科学（68至XX） 22 算子理论（47-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 范畴理论；同调代数（18-XX） 6 总体主题；集合（00-XX） 6 功能分析（46倍X倍） 6 一般拓扑结构（54至XX） 三 组合数学（05-XX） 三 实际功能（26年X月X日） 三 序列、级数、可和性（40-XX） 三 运筹学、数学规划（90-XX） 2 阶、格、有序代数结构（06-XX） 2 数论（11-XX） 2 交换代数（13-XX） 2 近似和展开（41至XX） 2 系统论；控制（93至XX） 1 场论和多项式（12-XX） 1 结合环与代数（16-XX） 1 偏微分方程（35-XX） 1 微分几何（53至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 按年份列出的引文