保罗·奥利瓦
人员信息
其他同名人员
SPARQL查询
优化列表
2020年–今天
2023 [公元31年] 马丁·埃斯卡多 , 保罗·奥利瓦 :
具有依赖类型的高阶游戏。 西奥。 计算。 科学。 974 : 114111 ( 2023 ) 2022 【i21】 马丁·埃斯卡多 , 保罗·奥利瓦 :
具有依赖类型的高阶游戏。 CoRR公司 abs/2212.07735 ( 2022 ) 2021 【j30】 布鲁诺·迪尼斯 , 保罗·奥利瓦 :
Heyting算法的参数化函数解释。 Ann.纯粹应用。 日志。 172 ( 4 ) : 102940 ( 2021 ) [公元29年] 保罗·奥利瓦 , 菲利普·扎恩 :
理性选择与决策问题的表示。 游戏 12 ( 4 ) : 86 ( 2021 ) [公元28年] 罗布·阿森 , 保罗·奥利瓦 :
关于Borel-Cantelli引理、Erdős-Rényi定理和Kochen-Stone定理。 J.日志。 分析。 13 ( 2021 ) [公元27年] A.刘易斯·史密斯 , 保罗·奥利瓦 , 埃德蒙·罗宾逊 :
直觉主义逻辑的克里普克语义。 螺柱逻辑 109 ( 2 ) : 313-339 ( 2021 ) [公元26年] 罗布·阿森 , 保罗·奥利瓦 :
Heyting代数推广的双重否定语义。 螺柱逻辑 109 ( 2 ) : 341-365 ( 2021 ) 2020 [公元25年] 保罗·奥利瓦 , 许创杰 :
关于赫布兰德函数解释。 数学。 日志。 问:。 66 ( 1 ) : 91-98 ( 2020 )
2010 – 2019
2019 [公元24年] 斯特凡诺·贝拉迪 , 保罗·奥利瓦 , 西尔维娅·斯特拉 :
通过棒递归分析Podelski-Rybalchenko终止定理。 J.日志。 计算。 29 ( 4 ) : 555-575 ( 2019 ) [i20] 罗布·阿森 , 保罗·奥利瓦 :
使用Prover9和Mace4研究代数结构。 CoRR公司 abs/1908.06479 ( 2019 ) [i19] 罗布·阿森 , 保罗·奥利瓦 :
仿射逻辑和卢卡西维茨逻辑的否定翻译。 CoRR公司 abs/1912.00012 ( 2019 ) [i18] 保罗·奥利瓦 , 许创杰 :
论赫布兰德函数解释。 CoRR公司 abs/1912.01333 ( 2019 ) 2018 [公元23年] 保罗·奥利瓦 , 西尔维娅·斯特拉 :
Schwichtenberg棒递归闭包定理的直接证明。 J.塞姆。 日志。 83 ( 1 ) : 70-83 ( 2018 ) [i17] 保罗·奥利瓦 , 菲利普·扎恩 :
在线购买-理性购买程序的特征。 CoRR公司 abs/1801.03483 ( 2018 ) [i16] 罗布·阿森 , 保罗·奥利瓦 :
Łukasiewicz逻辑最小片段的Curry-Howard对应。 CoRR公司 abs/1809.04492 ( 2018 ) 2017 [公元22年] 保罗·奥利瓦 , 唐博伟 :
有限部分函数上的条形递归。 Ann.纯粹应用。 日志。 168 ( 5 ) : 887-921 ( 2017 ) [公元21年] 马丁·埃斯卡多 , 保罗·奥利瓦 :
Herbrand对双重否定移位的功能解释。 J.塞姆。 日志。 82 ( 2 ) : 590-607 ( 2017 ) [第18条] 朱尔斯·赫奇斯 , 保罗·奥利瓦 , Evguenia Shprits公司 , 维克托·温舍尔 , 菲利普·扎恩 :
高阶决策理论。 ADT公司 2017 : 241-254 [第17条] 朱尔斯·赫奇斯 , 保罗·奥利瓦 , Evguenia Shprits公司 , 维克托·温舍尔 , 菲利普·扎恩 :
高阶博弈的选择均衡。 PADL(PADL) 2017 : 136-151 2015 [公元20年] 马丁·埃斯卡多 , 保罗·奥利瓦 :
条形递归和选择函数的乘积。 J.塞姆。 日志。 80 ( 1 ) : 1-28 ( 2015 ) [公元19年] 保罗·奥利瓦 , 唐博伟 :
通过选择函数的乘积对拉姆齐定理进行构造性解释。 数学。 结构。 计算。 科学。 25 ( 8 ) : 1755-1778 ( 2015 ) 【i15】 朱尔斯·赫奇斯 , 保罗·奥利瓦 , Evguenia精灵 , 维克托·温舍尔 , 菲利普·扎恩 :
高阶博弈论。 CoRR公司 abs/1506.01002 ( 2015 ) [第14条] 朱尔斯·赫奇斯 , 保罗·奥利瓦 , Evguenia精灵 , 维克托·温舍尔 , 菲利普·扎恩 :
高阶决策理论。 CoRR公司 abs/1506.01003 ( 2015 ) 2014 [第16条] 斯特凡诺·贝拉迪 , 保罗·奥利瓦 , 西尔维娅·斯特拉 :
证明具有高度ω变换不变量的程序的终止性。 信息通信与通信系统 2014 : 237-240 [e1] 保罗·奥利瓦 :
2014年CL&C第五届经典逻辑与计算国际研讨会论文集,奥地利维也纳,2014年7月13日。 EPTCS系统 164, 2014 [目录] [i13] 罗布·阿森 , 保罗·奥利瓦 :
仿射逻辑与Łukasiewicz逻辑。 CoRR公司 abs/1404.0570 ( 2014 ) [i12] 罗布·阿森 , 保罗·奥利瓦 :
关于围巾和篮球。 CoRR公司 abs/1404.0816 ( 2014 ) [i11] 斯特凡诺·贝拉迪 , 保罗·奥利瓦 , 西尔维娅·斯特拉 :
用高度ω的转移不变量证明终止。 CoRR公司 abs/1407.4692 ( 2014 ) [i10] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
条形递归和选择函数的乘积。 CoRR公司 abs/1407.7046 ( 2014 ) [第九章] 朱尔斯·赫奇斯 , 保罗·奥利瓦 , 伊夫格妮娅·温舍尔 , 维克托·温舍尔 , 菲利普·扎恩 :
决策问题和游戏的高阶框架。 CoRR公司 abs/1409.7411 ( 2014 ) [i8] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
Herbrand对双重否定移位的功能解释。 CoRR公司 abs/1410.4353 ( 2014 ) [i7] 保罗·奥利瓦 :
统一功能解释:过去与未来。 CoRR公司 abs/1410.4364 ( 2014 ) [i6] 保罗·奥利瓦 , 唐博伟 :
有限部分函数上的条形递归。 CoRR公司 abs/1410.6361 ( 2014 ) 2013 [公元18年] 罗布·阿森 , 乌苏拉·马丁 , 保罗·奥利瓦 :
线性系统的霍尔逻辑。 形式方面计算。 25 ( 三 ) : 345-363 ( 2013 ) [第15条] 罗布·阿森 , 保罗·奥利瓦 :
(双)环箍具有独特的一半。 自动化推理与数学 2013 : 165-180 2012 [公元17年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
皮尔士译本。 Ann.纯粹应用。 日志。 163 ( 6 ) : 681-692 ( 2012 ) [公元16年] 吉尔达·费雷拉 , 保罗·奥利瓦 :
关于有界函数解释。 Ann.纯粹应用。 日志。 163 ( 8 ) : 1030-1049 ( 2012 ) [公元15年] 保罗·奥利瓦 :
线性逻辑和直觉逻辑的混合函数解释。 J.日志。 计算。 22 ( 2 ) : 305-328 ( 2012 ) [公元14年] 保罗·奥利瓦 , 唐博伟 :
在Spector条递归上。 数学。 日志。 问:。 58 ( 4-5 ) : 356-265 ( 2012 ) [第14条] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
无界博弈的纳什均衡计算。 图灵-100 2012 : 53-65 [i5] 罗布·阿森 , 保罗·奥利瓦 :
(双)环箍具有独特的一半。 CoRR公司 abs/1203.0436 ( 2012 ) [i4] 保罗·奥利瓦 , 唐博伟 :
经典分析中证明的博弈论计算解释。 CoRR公司 abs/1204.5244 ( 2012 ) [i3] 保罗·奥利瓦 , 唐博伟 :
通过选择函数的乘积对拉姆齐定理的构造性解释。 CoRR公司 abs/1204.5631 ( 2012 ) 2011 [j13] 吉尔达·费雷拉 , 保罗·奥利瓦 :
直觉主义线性逻辑的功能解释。 日志。 方法计算。 科学。 7 ( 1 ) ( 2011 ) [第13条] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 , 唐博伟 :
系统T和选择函数的乘积。 CSL公司 2011 : 233-247 2010 [公元12年] 保罗·奥利瓦 :
线性逻辑和直觉逻辑的功能解释。 Inf.计算。 208 ( 5 ) : 565-577 ( 2010 ) [公元11年] 吉尔达·费雷拉 , 保罗·奥利瓦 :
受限的修改可实现性。 数学。 日志。 问:。 56 ( 1 ) : 13-28 ( 2010 ) [公元10年] 杰米·加斯帕 , 保罗·奥利瓦 :
用事实证明解释。 数学。 日志。 问:。 56 ( 6 ) : 591-610 ( 2010 ) [公元9年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
选择函数、条递归和反向归纳。 数学。 结构。 计算。 科学。 20 ( 2 ) : 127-168 ( 2010 ) [第12条] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
通过选择函数乘积进行分析的计算解释。 CiE公司 2010 : 141-150 [第11条] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
皮尔士翻译与双重否定转换。 CiE公司 2010 : 151-161 [第10条] 马丁·埃斯卡多 , 保罗·奥利瓦 :
序列博弈、季克诺夫定理和双负移位有什么共同点。 MSFP@ICFP 2010 : 21-32 【c9】 吉尔达·费雷拉 , 保罗·奥利瓦 :
关于各种负面翻译。 CL&C公司 2010 : 21-33
2000 – 2009
2009 [j8] 罗布·阿森 , 乌苏拉·马丁 , 埃里克·阿恩·马蒂森 , 保罗·奥利瓦 :
完善Floyd-Hoare逻辑的一般框架。 ACM事务处理。 计算。 日志。 11 ( 1 ) : 7:1-7:31 ( 2009 ) 【c8】 吉尔达·费雷拉 , 保罗·奥利瓦 :
直觉主义线性逻辑的功能解释。 CSL公司 2009 : 3-19 2008 [j7] 保罗·奥利瓦 , 托马斯·斯特里彻 :
论克里文对经典二阶算术的可实现性解释。 芬丹。 信息学 84 ( 2 ) : 207-220 ( 2008 ) [c7] Mircea-Dan Hernest公司 , 保罗·奥利瓦 :
混合函数解释。 CiE公司 2008 : 251-260 [i2] 罗布·阿森 , 乌苏拉·马丁 , 埃里克·阿恩·马蒂森 , 保罗·奥利瓦 :
健全完整Floyd-Hoare逻辑的总体框架。 CoRR公司 abs/0807.1016 ( 2008 ) 2007 [j6] 费尔南多·费雷拉 , 保罗·奥利瓦 :
有限功能解释和可行性分析。 Ann.纯粹应用。 日志。 145 ( 2 ) : 115-129 ( 2007 ) 【c6】 保罗·奥利瓦 :
经典线性逻辑的改进可实现性解释。 低收入国家 2007 : 431-442 【c5】 保罗·奥利瓦 :
经典线性逻辑的计算解释。 沃尔利克 2007 : 285-296 2006 [j5] 乌尔里希·伯杰 , 保罗·奥利瓦 :
修改了条形递归。 数学。 结构。 计算。 科学。 16 ( 2 ) : 163-183 ( 2006 ) 【j4】 保罗·奥利瓦 :
统一功能解释。 圣母院J.正式日志。 47 ( 2 ) : 263-290 ( 2006 ) 【c4】 保罗·奥利瓦 :
理解和使用经典分析的Spector条递归解释。 CiE公司 2006 : 423-434 【c3】 乌苏拉·马丁 , 埃里克·阿恩·马蒂森 , 保罗·奥利瓦 :
抽象中的Hoare逻辑。 CSL公司 2006 : 501-515 2005 [j3] 费尔南多·费雷拉 , 保罗·奥利瓦 :
有界限的功能解释。 Ann.纯粹应用。 日志。 135 ( 1-3 ) : 73-112 ( 2005 ) [i1] 保罗·奥利瓦 :
统一功能解释。 数学、算法、证明 2005 2003 [注2] 乌尔里希·科伦巴赫 , 保罗·奥利瓦 :
中的证据挖掘 L(左) 1 -近似值。 Ann.纯粹应用。 日志。 121 ( 1 ) : 1-38 ( 2003 ) 【c2】 保罗·奥利瓦 :
无效证明中的多项式时间算法。 低收入国家 2003 : 128-137 2002 [j1] 保罗·奥利瓦 :
关于Best的计算复杂性 L(左) 1 -近似值。 数学。 日志。 问:。 48 ( S1(第一阶段) ) : 66-77 ( 2002 )
1990 – 1999
1998 【c1】 尤金·W·迈尔斯 , 保罗·奥利瓦 , 卡蒂亚·圣吉马朗斯 :
报告精确和近似正则表达式匹配。 CPM公司 1998 : 91-103