路易斯·平托 0001
人员信息
附属: 葡萄牙米尼奥大学数学中心
其他同名人员
路易斯·平托 0002 -葡萄牙科英布拉大学数学系 路易斯·平托 0003 -葡萄牙莱里亚理工学院 路易斯·平托 0004 -西门子股份有限公司,利博阿,葡萄牙 路易斯·平托 0005 -葡萄牙波尔图大学 路易斯·平托 0006 -葡萄牙埃沃拉大学
其他同名人员
马里奥·安图内斯 0001 (又名:Mário Luis Pinto Antunes) -葡萄牙阿威罗大学 路易斯·平托·科埃略 路易斯·平托·费雷拉 -葡萄牙波尔图理工学院(ISEP) 路易斯·冈卡维斯-潘特 路易斯·阿贝戈·平托 路易斯·拉莫斯·平托 何塞·路易斯·平托·普拉德斯 路易斯·桑托斯·潘特 路易斯·平托·达席尔瓦 安东尼奥·路易斯·索萨 (又名:安东尼奥·路易斯·平托·费雷拉·德索萨,安东尼奥·索萨 0001 ) -葡萄牙布拉加明荷大学 显示所有相似的名称
优化列表
2020年–今天
2023 [公元12年] 何塞·埃斯皮里托·桑托 , 玛丽亚·若昂·弗雷德 , 路易斯·平托 :
俗称lambda-calculi中自然性的变化和解释及其推广应用。 J.日志。 代数方法课程。 131 : 100830 ( 2023 ) 2022 [公元11年] 何塞·埃斯皮里托·桑托 , 路易斯·平托 , 塔尔莫·乌斯塔卢 :
Plotkin的call-by值 λ -微积分是一种模态微积分。 J.日志。 代数方法课程。 127 : 100775 ( 2022 ) 2021 [公元10年] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
通过类型化lambda-calculi进行证明搜索的一种共同方法。 Ann.纯粹应用。 日志。 172 ( 10 ) : 103026 ( 2021 ) 2020 [第15条] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
极化逻辑的共导证明搜索及其在完全直觉命题逻辑中的应用。 类型 2020 : 4:1-4:24 [i3] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
通过极化逻辑的共导方法对完全直觉主义命题逻辑进行证明搜索。 CoRR公司 abs/2007.16161 ( 2020 )
2010 – 2019
2019 [公元9年] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
简单类型有限性几个概念的可判定性。 芬丹。 信息学 170 ( 1-3 ) : 111-138 ( 2019 ) [j8] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
居住在简单类型的lambda-calculus中,通过lambda-Calculu斯进行证明搜索。 数学。 结构。 计算。 科学。 29 ( 8 ) : 1092-1124 ( 2019 ) [第14条] 何塞·埃斯皮里托·桑托 , 路易斯·平托 , 塔尔莫·乌斯塔卢 :
模态嵌入和调用范式。 金融稳定与发展部 2019 : 18:1-18:20 [电子2] 彼得·戴比杰 , 何塞·埃斯皮里托·桑托 , 路易斯·平托 :
2018年6月18日至21日在葡萄牙布拉加举行的第24届国际证明类型和程序会议,Types 2018。 LIPIcs公司 130, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-106-1 [目录] 2018 [j7] 路易斯·平托 , 塔尔莫·乌斯塔卢 :
双直觉命题序列演算的证明理论研究。 J.日志。 计算。 28 ( 1 ) : 165-202 ( 2018 ) 2016 [第13条] 何塞·埃斯皮里托·桑托 , 玛丽亚·若昂·弗雷德 , 路易斯·平托 :
带割的直觉序列微积分证明术语的可变性。 类型 2016 : 10:1-10:27 [i2] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
通过类型化Lambda-Calculi进行证明搜索的创造性方法。 CoRR公司 abs/1602.04382 ( 2016 ) [i1] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
通过Lambda-Calculus进行证据搜索,在简单类型的Lambda-演算中居住。 CoRR公司 abs/1604.02086 ( 2016 ) 2014 [第12条] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 中泽浩二 , 路易斯·平托 :
通过值和计算之间的区别实现经典逻辑的融合。 CL&C公司 2014 : 63-77 2013 [j6] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 中泽浩二 , 路易斯·平托 :
经典序列微积分的一元翻译。 数学。 结构。 计算。 科学。 23 ( 6 ) : 1111-1162 ( 2013 ) [第11条] 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
证明搜索的创造性方法。 菲莎国际学院 2013 : 28-43 2011 [j5] 何塞·埃斯皮里托·桑托 , 路易斯·平托 :
多元序列项的微积分。 ACM事务处理。 计算。 日志。 12 ( 三 ) : 22:1-22:41 ( 2011 ) 2010 [第10条] 路易斯·平托 , 塔尔莫·乌斯塔卢 :
双直觉命题逻辑的关联序贯演算。 CL&C公司 2010 : 57-72
2000 – 2009
2009 【j4】 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
直觉序列演算的连续传递风格和强规范化。 日志。 方法计算。 科学。 5 ( 2 ) ( 2009 ) 【c9】 路易斯·平托 , 塔尔莫·乌斯塔卢 :
具有标记序列的双直觉命题逻辑的证明搜索和反模型构造。 TABLEAUX公司 2009 : 295-309 2008 【c8】 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
直觉序贯演算的一元翻译。 类型 2008 : 100-116 2007 【c7】 何塞·埃斯皮里托·桑托 , 拉尔夫·马提斯 , 路易斯·平托 :
直觉序列演算的连续传递风格和强规范化。 薄层色谱法 2007 : 133-147 2006 【c6】 何塞·埃斯皮里托·桑托 , 玛丽亚·若昂·弗雷德 , 路易斯·平托 :
改写结构证明理论。 区域贸易协定 2006 : 197-211 2004 [j3] 吉尔斯·巴特 , 玛丽亚·若昂·弗雷德 , 爱德华多·吉梅内斯 , 路易斯·平托 , 塔尔莫·乌斯塔卢 :
递归定义的基于类型的终止。 数学。 结构。 计算。 科学。 14 ( 1 ) : 97-141 ( 2004 ) 2003 【c5】 何塞·埃斯皮里托·桑托 , 路易斯·平托 :
直觉多元序贯演算与切割中的置换转换。 薄层色谱法 2003 : 286-300 [c4] 何塞·埃斯皮里托·桑托 , 路易斯·平托 :
广义多元的汇合与强正规化- 微积分。 类型 2003 : 194-209 2002 [电子1] 吉尔斯·巴特 , 彼得·戴比杰 , 路易斯·平托 , 若昂·萨拉瓦 :
应用语义学,国际暑期学校,APPSEM 2000,卡米尼亚,葡萄牙,2000年9月9日至15日,高级讲座。 计算机科学课堂讲稿 2395, 施普林格 2002 ,国际标准图书编号 3-540-44044-5 [目录]
1990 – 1999
1999 [注2] 罗伊·戴克霍夫 , 路易斯·平托 :
直觉序列演算中证明的可变性。 理论。 计算。 科学。 212 ( 1-2 ) : 141-155 ( 1999 ) 1998 [j1] 罗伊·戴克霍夫 , 路易斯·平托 :
直觉逻辑的截除和无置换序贯演算。 Stud Logica公司 60 ( 1 ) : 107-118 ( 1998 ) 【c3】 路易斯·平托 , 罗伊·戴克霍夫 :
序贯演算-和-演算的正常术语。 类型理论中的证明搜索 语言@CADE 1998 : 1-14 1994 【c2】 罗伊·戴克霍夫 , 路易斯·平托 :
统一证明和自然演绎。 ICLP研讨会:逻辑编程的理论证明扩展 1994 1993 【c1】 路易斯·平托 :
切割公式和逻辑编程。 ELP公司 1993 : 282-300