阿莱西奥·古列尔米
人员信息
隶属关系: 英国巴斯大学
优化列表
2020年-今天
2022 [公元10年] 克里斯·巴雷特 , 阿莱西奥·古列尔米 :
决策树的亚原子证明系统。 ACM事务处理。 计算。 日志。 23 ( 4 ) : 26:1-26:25 ( 2022 ) 2021 [i7] 克里斯·巴雷特 , 阿莱西奥·古列尔米 :
决策树的亚原子证明系统。 CoRR公司 abs/2105.01382 ( 2021 )
2010 – 2019
2018 [公元9年] 安德烈亚·阿勒·塔贝拉 , 阿莱西奥·古列尔米 :
亚原子验证系统:可拆分系统。 ACM事务处理。 计算。 日志。 19 ( 1 ) : 5:1-5:33 ( 2018 ) 2017 [第15条] 安德烈亚·阿勒·塔贝拉 , 阿莱西奥·古列尔米 , 本杰明·拉尔夫 :
从证明中删除周期。 CSL公司 2017 : 9:1-9:17 [i6] 安德烈亚·阿勒·塔贝拉 , 阿莱西奥·古列尔米 :
亚原子验证系统:可拆分系统。 CoRR公司 abs/1703.10258 ( 2017 ) 2016 [j8] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 , 汤姆·冈德森 , 米歇尔·帕里格特 :
通过原子流和阈值公式进行深度推断的准多项式归一化。 日志。 方法计算。 科学。 12 ( 2 ) ( 2016 ) 2014 [第14条] 理查德·布鲁特 , 阿莱西奥·古列尔米 , 伊万·伊万诺夫 , 普拉卡什·帕南加登 , Lutz Stra汉堡 :
量子进化和纠缠的逻辑基础。 逻辑、语言和物理中的类别和类型 2014 : 90-107 2011 [j7] 阿莱西奥·古列尔米 , Lutz Stra汉堡 :
相互作用和结构V的系统:指数和分裂。 数学。 结构。 计算。 科学。 21 ( 三 ) : 563-584 ( 2011 ) [j6] Lutz Stra汉堡 , 阿莱西奥·古列尔米 :
一个相互作用的系统和结构IV:指数和分解。 ACM事务处理。 计算。 日志。 12 ( 4 ) : 23:1-23:39 ( 2011 ) 2010 [第13条] 阿莱西奥·古列尔米 , 汤姆·冈德森 , Lutz Stra汉堡 :
经典逻辑中原子流的中断路径。 许可证 2010 : 284-293 [第12条] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 , 汤姆·冈德森 , 米歇尔·帕里格特 :
基于原子流和阈值公式的深度推断中的拟多项式截断消除过程。 LPAR(达喀尔) 2010 : 136-153 [第11条] 阿莱西奥·古列尔米 , 汤姆·冈德森 , 米歇尔·帕里格特 :
减少句法官僚主义的证明演算。 区域贸易协定 2010 : 135-150
2000 – 2009
2009 [j5] 阿莱西奥·古列尔米 :
乔治·列维的个人肖像。 西奥。 计算。 科学。 410 ( 46 ) : 4605-4607 ( 2009 ) 【j4】 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
关于深层推理的证明复杂性。 ACM事务处理。 计算。 日志。 10 ( 2 ) : 14:1-14:34 ( 2009 ) [i5] Lutz Stra汉堡 , 阿莱西奥·古列尔米 :
相互作用系统与结构IV:指数与分解。 CoRR公司 腹肌/0903.5259 ( 2009 ) 2008 [j3] 阿莱西奥·古列尔米 , 汤姆·冈德森 :
通过原子流进行深度推断的规范化控制。 日志。 方法计算。 科学。 4 ( 1 ) ( 2008 ) 2007 [注2] 阿莱西奥·古列尔米 :
相互作用和结构的系统。 ACM事务处理。 计算。 日志。 8 ( 1 ) : 1 ( 2007 ) [i4] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
论深层推理的证明复杂性。 CoRR公司 abs/0709.1201 ( 2007 ) [i3] 阿莱西奥·古列尔米 , 汤姆·冈德森 :
通过原子流进行深度推断的规范化控制。 CoRR公司 abs/0709.1205 ( 2007 ) 2006 [j1] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
关于一阶线性逻辑的结构证明搜索。 西奥。 计算。 科学。 360 ( 1-3 ) : 42-76 ( 2006 ) 2003 [第10条] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
逻辑程序设计的证明理论基础教程。 ICLP公司 2003 : 109-127 [c9] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
一阶线性逻辑的结构化证明搜索。 LPAR公司 2003 : 389-406 [i2] 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
一阶线性逻辑的结构化证明搜索。 CoRR公司 反恐精英。 LO/031202号 ( 2003 ) 2002 【c8】 阿莱西奥·古列尔米 , Lutz Stra汉堡 :
MELL的非交换扩展。 LPAR公司 2002 : 231-246 2001 【c7】 阿莱西奥·古列尔米 , Lutz Stra汉堡 :
结构微积分中的非交换性和MELL。 CSL公司 2001 : 54-68
1990 – 1999
1999 [i1] 阿莱西奥·古列尔米 :
相互作用和结构系统。 CoRR公司 反恐精英。 LO/9910023号 ( 1999 ) 1995 【c6】 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
具有并行和顺序连接的线性逻辑程序设计语言。 活塞销 1995 : 409-420 【c5】 阿莱西奥·古列尔米 :
线性蕴涵和通用量化的序列性。 严格 1995 : 160-174 1994 【c4】 保拉·布鲁斯科利 , 阿莱西奥·古列尔米 :
抽象逻辑程序设计语言论坛在规划和并发中的表达。 活塞杆(2) 1994 : 221-237 【c3】 阿莱西奥·古列尔米 :
逻辑程序设计语言中带顺序运算符的并发和计划生成。 ICLP公司 1994 : 240-254 1993 【c2】 阿莱西奥·古列尔米 , 乔治·列维 :
化学逻辑程序设计CLP? 吞咽 1993 : 39至54 【c1】 彼得罗·迪·贾南托尼奥 , 阿莱西奥·古列尔米 , 乔治·列维 :
化学逻辑程序设计CLP? 基于黑板的逻辑编程ICLP研讨会 1993