×
作者ID: 青椒醛“Pimentel,Elaine”最近发表的zbMATH文章
发布日期: 伊莱恩·皮门特尔
外部链接: ORCID公司
已编制索引的文档: 47出版物自2002年以来,包括2个附加arXiv预打印
8作为编辑的贡献
合著者: 39位合著者具有51联合出版物
605合著作者

按年份列出的出版物

zbMATH Open中包含的引文

38出版物有被引用188中的次88文件 引用人 年份
并发约束规划中模态的一般证明系统。 Zbl 1390.68485号
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔
17
2013
用于指定顺序演算证明系统的形式化框架。 兹比尔1259.03077
戴尔·米勒;伊莱恩·皮门特尔
17
2013
用于指定和推理证明系统的扩展框架。 Zbl 1403.03125号
Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯
16
2016
正常和非正常模式的后续计算模块化。 兹比尔1433.03131
比约恩·莱尔曼;伊莱恩·皮门特尔
11
2019
用次指数指定线性逻辑中的证明系统。 Zbl 1347.03103号
Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯
10
2011
次指数并发约束规划。 Zbl 1332.68027号
卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生
10
2015
关于序列系统的规范。 Zbl 1143.03348号
伊莱恩·皮门特尔;戴尔·米勒
8
2005
关于并行系统中的次指数、聚焦和模式。 Zbl 1373.68298号
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔
8
2017
嵌套序列计算中的证明搜索。 Zbl 1471.03079号
比约恩·莱尔曼;伊莱恩·皮门特尔
7
2015
使用线性逻辑对序列系统进行推理。 Zbl 1015.03060号
戴尔·米勒;伊莱恩·皮门特尔
6
2002
并发约束编程中的动态空间。 Zbl 1335.68180号
卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔
6
2014
混合和次指数线性逻辑。 Zbl 1395.03034号
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
5
2017
强归一化的操作特征。 Zbl 1180.68105号
卢卡·保里尼;伊莱恩·皮门特尔;西蒙娜·隆奇·德拉·罗卡
5
2006
证明重写逻辑中序列系统的结构性质。 Zbl 1521.03059号
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·罗查
5
2018
软并发约束规划的证明理论研究。 Zbl 1309.68034号
伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生
5
2014
具有模态的子结构逻辑的统一框架。 Zbl 1402.03030号
比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔
5
2017
线性逻辑作为逻辑框架的新观点。 Zbl 1498.03158号
卡洛斯·奥拉特;伊莱恩·皮门特尔;布鲁诺·泽维尔
4
2020
证明系统的语义视图。 Zbl 1509.03159号
伊莱恩·皮门特尔
4
2018
关于并发行为和关注线性逻辑。 兹比尔1371.68197
卡洛斯·奥拉特;伊莱恩·皮门特尔
4
2017
从证明理论的角度来看交集类型。 Zbl 1272.03082号
伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙;卢卡·罗维斯
4
2012
具有不同极性分配的多焦点证明。 Zbl 1394.03070号
伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托
2016
访问权限的并发约束编程解释。 Zbl 1478.68056号
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达
2018
线性逻辑作为指定序列演算的框架。 Zbl 1061.03072号
戴尔·米勒;伊莱恩·皮门特尔
2004
序列化嵌套系统。 Zbl 1468.03075号
伊莱恩·皮门特尔;雷文莎·拉马纳亚克;比约恩·莱尔曼
2019
再次验证并发约束编程的正确性。 Zbl 1342.68238号
卡洛斯·奥拉特;伊莱恩·皮门特尔
2015
惰性强规范化。 兹比尔1272.68087
卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙
2005
混合线性逻辑,重温。 Zbl 1456.03095号
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
2
2019
通过非正规模态逻辑的最优超序列计算构建反模型。 Zbl 1485.03048号
蒂齐亚诺·达尔蒙特;比约恩·莱尔曼;尼古拉·奥利维蒂;伊莱恩·皮门特尔
2
2020
通过聚焦从公理到综合推理规则。 Zbl 07501985号
索尼娅·马林;戴尔·米勒;伊莱恩·皮门特尔;马尔科·沃尔佩
2
2022
直觉线性逻辑的ILLTP库。 Zbl 1486.03026号
卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔;吉赛尔·赖斯
2
2019
安全调整合同。 Zbl 1213.68615号
J.A.马汀。;皮门特尔,E。
2
2011
在重写逻辑中为声明性编程编写程序。 Zbl 1111.68382号
莫里纳·布拉沃,J.M。;皮门特尔,E。
1
2003
从无切割计算到自动演绎:有界收缩的情况。 Zbl 1401.03034号
蝉蜕、阿加塔;比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔
1
2017
非结合、非交换的多模态线性逻辑。 Zbl 07628203号
埃本·布莱斯德尔;马克斯·卡诺维奇;库兹涅佐夫(Stepan L.Kuznetsov)。;伊莱恩·皮门特尔;安德烈·斯克洛夫
1
2022
有成本证明的博弈模型。 Zbl 1468.03025号
蒂莫·朗;卡洛斯·奥拉特;伊莱恩·皮门特尔;Fermüller,Christian G。
1
2019
普适模态逻辑。 Zbl 07437023号
索尼娅·马林;路易斯·卡洛斯·佩雷拉;伊莱恩·皮门特尔;销售,艾默生
1
2020
安全适配器的合成。 Zbl 1236.68062号
J.A.马汀。;马蒂内利,F。;皮门特尔,E。
1
2012
从不同寻常的角度来看,标准化程度很高。 Zbl 1222.03020号
卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙
1
2011
通过聚焦从公理到综合推理规则。 Zbl 07501985号
索尼娅·马林;戴尔·米勒;伊莱恩·皮门特尔;马尔科·沃尔佩
2
2022
非关联、非交换的多模态线性逻辑。 Zbl 07628203号
埃本·布莱斯德尔;马克斯·卡诺维奇;库兹涅佐夫(Stepan L.Kuznetsov)。;伊莱恩·皮门特尔;安德烈·斯克洛夫
1
2022
线性逻辑作为逻辑框架的新观点。 Zbl 1498.03158号
卡洛斯·奥拉特;伊莱恩·皮门特尔;布鲁诺·泽维尔
4
2020
通过非正规模态逻辑的最优超序列计算构建反模型。 Zbl 1485.03048号
蒂齐亚诺·达尔蒙特;比约恩·莱尔曼;尼古拉·奥利维蒂;伊莱恩·皮门特尔
2
2020
普世模态逻辑。 Zbl 07437023号
索尼娅·马林;路易斯·卡洛斯·佩雷拉;伊莱恩·皮门特尔;艾默生销售部
1
2020
正常和非正常模式的后续计算模块化。 Zbl 1433.03131号
比约恩·莱尔曼;伊莱恩·皮门特尔
11
2019
序列化嵌套系统。 Zbl 1468.03075号
伊莱恩·皮门特尔;雷文莎·拉马纳亚克;比约恩·莱尔曼
2019
混合线性逻辑,重温。 Zbl 1456.03095号
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
2
2019
直觉线性逻辑的ILLTP库。 Zbl 1486.03026号
卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔;吉赛尔·赖斯
2
2019
有成本证明的博弈模型。 兹比尔1468.03025
蒂莫·朗;卡洛斯·奥拉特;伊莱恩·皮门特尔;Fermüller,Christian G。
1
2019
证明重写逻辑中序列系统的结构性质。 Zbl 1521.03059号
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·罗查
5
2018
证明系统的语义视图。 Zbl 1509.03159号
伊莱恩·皮门特尔
4
2018
访问权限的并发约束编程解释。 Zbl 1478.68056号
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达
2018
关于并行系统中的次指数、聚焦和模式。 Zbl 1373.68298号
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔
8
2017
混合和次指数线性逻辑。 Zbl 1395.03034号
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
5
2017
具有模态的子结构逻辑的统一框架。 Zbl 1402.03030号
比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔
5
2017
关于并发行为和关注线性逻辑。 Zbl 1371.68197号
卡洛斯·奥拉特;伊莱恩·皮门特尔
4
2017
从无切割计算到自动演绎:有界收缩的情况。 Zbl 1401.03034号
蝉蜕、阿加塔;比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔
1
2017
用于指定和推理证明系统的扩展框架。 兹比尔1403.03125
Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯
16
2016
具有不同极性赋值的多焦点证明。 Zbl 1394.03070号
伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托
2016
次指数并发约束编程。 Zbl 1332.68027号
卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生
10
2015
嵌套序列计算中的证明搜索。 Zbl 1471.03079号
比约恩·莱尔曼;伊莱恩·皮门特尔
7
2015
再次验证并发约束编程的正确性。 Zbl 1342.68238号
卡洛斯·奥拉特;伊莱恩·皮门特尔
2015
并发约束编程中的动态空间。 Zbl 1335.68180号
卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔
6
2014
软并发约束规划的证明理论研究。 Zbl 1309.68034号
伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生
5
2014
并发约束规划中模态的一般证明系统。 Zbl 1390.68485号
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔
17
2013
一种用于指定连续微积分证明系统的形式化框架。 Zbl 1259.03077号
戴尔·米勒;伊莱恩·皮门特尔
17
2013
从证明理论的角度来看交集类型。 Zbl 1272.03082号
伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙;卢卡·罗维斯
4
2012
安全适配器的合成。 Zbl 1236.68062号
J.A.马汀。;马蒂内利,F。;皮门特尔,E。
1
2012
用次指数指定线性逻辑中的证明系统。 Zbl 1347.03103号
Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯
10
2011
安全调整合同。 Zbl 1213.68615号
J.A.马汀。;皮门特尔,E。
2
2011
从不同寻常的角度来看,标准化程度很高。 Zbl 1222.03020号
卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙
1
2011
强归一化的操作特征。 Zbl 1180.68105号
卢卡·保里尼;伊莱恩·皮门特尔;西蒙娜·隆奇·德拉·罗卡
5
2006
关于序列系统的规范。 兹比尔1143.03348
伊莱恩·皮门特尔;戴尔·米勒
8
2005
惰性强规范化。 Zbl 1272.68087号
卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙
2005
线性逻辑作为指定序列演算的框架。 兹比尔1061.03072
戴尔·米勒;伊莱恩·皮门特尔
2004
在重写逻辑中为声明性编程编写程序。 Zbl 1111.68382号
莫里纳·布拉沃,J.M。;皮门特尔,E。
1
2003
使用线性逻辑推理顺序系统。 Zbl 1015.03060号
戴尔·米勒;伊莱恩·皮门特尔
6
2002
全部的 前5名

118位作者引用

20 伊莱恩·皮门特尔
19 卡洛斯·奥拉特
12 Vivek Nigam先生
6 蝉蜕、阿加塔
5 斯捷潘·勒沃维奇,库兹涅佐夫
5 吉赛尔·赖斯
4 考斯托夫·乔杜里
4 Max Iosifovich,卡诺维奇
4 卢卡·保里尼
4 安德烈·斯克洛夫
4 布鲁诺·泽维尔
4 玛格丽塔·佐齐
瓦莱里亚·德·佩瓦
亚历杭德罗·迪亚斯·卡洛
莫雷诺,法拉斯基
比约恩·莱尔曼
索尼娅·马林
戴尔·艾伦·米勒
卡米洛·鲁埃达
卢茨斯特拉汉堡
2 埃本·布莱斯德尔
2 戴维·齐亚鲁吉
2 蒂齐亚诺·达尔蒙特
2 乔尔·德斯佩鲁
2 Gilles Dowek
2 戴安娜埃尔米思
2 安德烈亚·马西尼
2 奥利韦蒂,尼古拉
2 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。
2 泰西,马蒂奥
2 安娜·扎曼斯基
1 莫辛·曼沙德·阿巴斯
1 贝尼亚米·阿卡托利
1 马特奥·阿克拉维奥
1 詹姆·阿里亚斯
1 巴勃罗·阿里吉
1 费德里科·阿西埃里
1 阿诺·阿夫隆
1 马提亚斯·巴兹
1 大卫·巴尔德
1 安纳托利·彼得罗维奇(AnatoliĭPetrovich)
1 斯特凡诺·贝拉尔迪
1 萨马拉·伯恩斯
1 路易斯·凯雷斯
1 卡洛斯·卡莱罗
1 陈金生
1 凯特琳·达布雷拉
1 杰里米·道森。
1 乌戈·德利古罗
1 Myriam德塞因特-卡特琳
1 德奥塔维亚诺,伊塔拉·洛夫雷多
1 弗朗西斯科·杜兰
1 史蒂文·艾克
1 圣地亚哥埃斯科瓦尔
1 艾米·费尔蒂(Amy P.Felty)。
1 Fermüller,Christian G。
1 毛罗·法拉利
1 佛罗伦萨,卡米洛
1 吉多·菲奥里诺
1 福田洋介
1 毛里齐奥·加布里埃利
1 Aleksandr Sergeevich,Gerasimov
1 亚历山大五世(Alexander V.Gheorghiu)。
1 玛丽安娜·吉兰多
1 戈雷,拉吉夫·普拉巴卡尔
1 朱塞佩·格雷科
1 查尔斯·格雷洛伊斯
1 朱利奥·格雷里
1 斯特凡诺游击队
1 米歇尔·古兹曼
1 斯特凡·哈尔
1 穆罕默德·哈希姆
1 罗斯·霍恩
1 安德烈·因德泽扎克(Andrzej Indrzejczak)
1 奥里·拉哈夫
1 蒂莫·朗
1 亚历山大·雷奇
1 托梅尔·利巴尔
1 路易吉·利科里
1 蒂姆·S·里昂。
1 马丁·奥列特,纳西索
1 西蒙·马提尼
1 何塞·梅塞盖尔·瓜伊塔
1 Zan Naeem
1 萨拉·内格里
1 若昂·内托
1 多米尼克·A·乌节。
1 奥兰德利,尤金尼奥
1 卡图西亚帕拉米德斯
1 亚历山德拉·帕尔米吉亚诺
1 萨利姆·珀西
1 佩雷斯(Jorge A.Pérez)。
1 弗兰克·芬宁
1 毛罗·皮科洛
1 Gian Luca波扎托
1 萨马尔·拉赫穆尼
1 雷文莎·拉马纳亚克
1 乔安·拉斯加
1 卡米洛·罗查
1 Ronchi Della Rocca,西蒙
…还有18位作者

按年份列出的引文