安德烈斯·科尔多恩·佛朗哥
人员信息
优化列表
期刊文章
2024 [j20] 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
半诚实次递归度和算术中的集合规则。 架构(architecture)。 数学。 日志。 63 ( 1-2 ) : 163-180 ( 2024 ) [公元19年] 约阿昆·博雷戈·迪亚斯 , 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于条件公理和相关推理规则。 公理 13 ( 5 ) : 306 ( 2024 ) 2023 [公元18年] 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 , 曼努埃尔·J·S·卢雷罗 :
Lipschitz和Wadge二阶算术二进制游戏。 Ann.纯粹应用。 日志。 174 ( 9 ) : 103301 ( 2023 ) 2017 [公元17年] 安德烈斯·科尔多恩·佛朗哥 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
通过超有限反射的预测性。 J.塞姆。 日志。 82 ( 三 ) : 787-808 ( 2017 ) 2016 [公元16年] 佐菲亚·阿达莫维奇 , 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
算术框架下的存在闭模型。 J.塞姆。 日志。 81 ( 2 ) : 774-788 ( 2016 ) 2015 [公元15年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
卡片加密的几何协议。 设计。 密码。 74 ( 1 ) : 113-125 ( 2015 ) 2014 [公元14年] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于T-可证明Δ的公理方案 1 公式。 架构(architecture)。 数学。 日志。 53 ( 3-4 ) : 327-349 ( 2014 ) [j13] 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
局部归纳和可证明的总可计算函数。 Ann.纯粹应用。 日志。 165 ( 9 ) : 1429-1444 ( 2014 ) 2013 [公元12年] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于算法中局部反射守恒结果的最优性。 J.塞姆。 日志。 78 ( 4 ) : 1025-1035 ( 2013 ) [公元11年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 安格尔·内波穆塞诺·费尔南德斯 :
动态后果和公告。 版本符号。 日志。 6 ( 4 ) : 659-679 ( 2013 ) [公元10年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
广义俄罗斯卡片问题的着色协议。 西奥。 计算。 科学。 495 : 81-95 ( 2013 ) 2012 [公元9年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费尔南多·索勒尔·托斯卡诺 :
用于纸牌播放器的安全附加协议。 澳大利亚。 J库姆。 54 : 163-176 ( 2012 ) 2011 [j8] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于无参数∏的注记 1 -归纳和限制指数运算。 数学。 日志。 问:。 57 ( 5 ) : 444-455 ( 2011 ) 2009 [j7] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
有界算法中的存在闭模型和守恒结果。 J.日志。 计算。 19 ( 1 ) : 123-143 ( 2009 ) 2007 [j6] 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于∑的注记 1 -最大模型。 J.塞姆。 日志。 72 ( 三 ) : 1072-1078 ( 2007 ) 2006 [j5] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
信封、指标和保守性。 数学。 日志。 问:。 52 ( 1 ) : 51-70 ( 2006 ) 2005 [j4] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
算术片段和真句。 数学。 日志。 问:。 51 ( 三 ) : 313-328 ( 2005 ) 2004 [j3] 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于bigtrianglup的量词复杂性 n+1 (T) ? 归纳。 架构(architecture)。 数学。 日志。 43 ( 三 ) : 371-398 ( 2004 ) [注2] 安德烈斯·科尔多恩·佛朗哥 , 费尔南多·桑乔·卡帕里尼 :
概率P系统复杂性测度的注记。 J.大学。 计算。 科学。 10 ( 5 ) : 559-566 ( 2004 ) [j1] 安德烈斯·科尔多恩·佛朗哥 , 米盖尔·安吉尔·古铁雷斯-纳兰霍 , 马里奥·佩雷斯-吉梅内斯 , 费尔南多·桑乔·卡帕里尼 :
具有活性膜的确定性P系统的Prolog模拟器。 新一代。 计算。 22 ( 4 ) : 349-363 ( 2004 )
会议和研讨会文件
2024 【c8】 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 , 曼努埃尔·J·S·卢雷罗 :
Lipschitz确定性和算术超有限递归。 CiE公司 2024 : 285-297 2012 【c7】 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
局部归纳和可证明的总可计算函数:一个案例研究。 CiE公司 2012 : 440-449 2011 【c6】 迈克尔·H·阿尔伯特 , 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费尔南多·索勒尔·托斯卡诺 :
解释系统中本地州的安全通信。 DCAI公司 2011 : 117-124 2007 【c5】 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于有界算法中的无规则和无参数系统。 CiE公司 2007 : 179-188 2004 【c4】 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
可证明的全本原递归函数:归纳理论。 CSL公司 2004 : 355-369 【c3】 安德烈斯·科尔多恩·佛朗哥 , 米盖尔·安吉尔·古铁雷斯-纳兰霍 , 马里奥·佩雷斯-吉梅内斯 , 阿古斯汀·里斯科斯·努涅斯 :
探索与P系统相关的计算树。 膜计算研讨会 2004 : 278-286 [c2] 安德烈斯·科尔多恩·佛朗哥 , 费尔南多·桑乔·卡帕里尼 :
近似非离散P系统。 膜计算研讨会 2004 : 287-295 2003 【c1】 安德烈斯·科尔多恩·佛朗哥 , 米盖尔·安吉尔·古铁雷斯-纳兰霍 , 马里奥·佩雷斯-吉梅内斯 , 阿古斯汀·里斯科斯·努涅斯 , 费尔南多·桑乔·卡帕里尼 :
在Prolog中实现背包问题的有效蜂窝解决方案。 膜计算研讨会 2003 : 140-152
非正式出版物和其他出版物
2013 [i3] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
卡片加密的几何协议。 CoRR公司 abs/1301.4289 ( 2013 ) 2012 [i2] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
广义俄罗斯卡片问题的着色协议。 CoRR公司 abs/1207.5216 ( 2012 ) 2011 [i1] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费尔南多·索勒尔·托斯卡诺 :
用于纸牌播放器的安全附加协议。 CoRR公司 abs/1111.0156 ( 2011 )