×
作者ID: 莱斯卡内·皮埃尔“皮埃尔莱斯坎”最近发表的zbMATH文章
发布日期: 皮埃尔·莱斯坎;Lescanne,P。
外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考·论文.fr
编入索引的文档: 73出版物自1977年以来,包括1本书7其他arXiv预打印
7作为编辑的贡献
合著者: 54位合著者具有54联合出版物
698合著作者

按年份列出的出版物

zbMATH Open中包含的引文

54出版物有被引用444中的次323文件 引用人 年份
等式问题和不统一。 Zbl 0678.68093号
休伯特·科蒙;皮埃尔·莱斯坎
66
1989
通过多项式解释终止重写系统及其实现。 Zbl 0625.68036号
阿勒姆·本·切里法;皮埃尔·莱斯坎
54
1987
有限基本项重写系统与其他相关项重写系统合流的可判定性。 Zbl 0705.68067号
马克斯·多切特;蒂埃里·海拉尔;皮埃尔·莱斯坎;苏菲·蒂森
37
1990
\(lambda-nu),一种保留强正规化的显式替换演算。 Zbl 0873.68108号
Benaissa,Zine-El-Abidine公司;丹尼尔·布里奥;皮埃尔·莱斯坎;Jocelyne的Rouyer-Degli
28
1996
竣工终止。 Zbl 0723.68056号
法国贝勒加德;皮埃尔·莱斯坎
17
1990
关于多集排序。 Zbl 0486.68041号
Jean-Pierre Jouannaud;Lescanne,皮埃尔
16
1982
递归分解排序。 Zbl 0513.68026号
Jean-Pierre Jouannaud;皮埃尔·莱斯坎;费尔南德·雷尼格
16
1983
计算并生成lambda项。 Zbl 1311.68045号
卡塔兹纳·格里吉尔;皮埃尔·莱斯坎
13
2013
证明归纳等式、相对完备性和\(\omega\)-完备性的工具。 Zbl 0691.68026号
阿泽丁·拉兹雷克;皮埃尔·莱斯坎;珍妮·雅克·泰尔
11
1990
代数系统规范和开发。调查和注释书目。 Zbl 0875.68642号
10
1991
NARROWER:一种新的统一算法及其在逻辑编程中的应用。 Zbl 0576.68002号
皮埃尔·雷蒂;克洛德·基什内尔;赫莱内·基什内尔;皮埃尔·莱斯坎
10
1985
多项式解释和算法的复杂性。 Zbl 0925.68266号
亚当·西科恩;皮埃尔·莱斯坎
9
1992
关于具有词典编纂状态的递归分解排序和其他相关排序。 Zbl 0698.68031号
皮埃尔·莱斯坎
9
1990
二进制lambda演算中的计数和生成项。 兹伯利1419.68039
卡塔兹纳·格里吉尔;皮埃尔·莱斯坎
8
2015
λ项的自然计数。 Zbl 1428.68095号
马西耶·本德考斯基;卡塔兹纳·格里吉尔;皮埃尔·莱斯坎;马雷克·扎昂克
8
2016
用de Bruijn的能级进行显式替换。 兹比尔1503.03028
皮埃尔·莱斯坎;乔斯琳·鲁耶·德格利
8
1995
转换顺序。 Zbl 0621.68022号
F.贝利加德。;莱斯坎,P。
7
1987
通过重写证明了关联交换重写系统的终止性。 Zbl 0642.68037号
伊莎贝·格尼迪格;皮埃尔·莱斯坎
7
1986
在计算未类型化的lambda项时。 Zbl 1259.68028号
皮埃尔·莱斯坎
7
2013
分解序的一些性质,一种证明重写系统终止的简化序。 Zbl 0518.68025号
皮埃尔·莱斯坎
7
1982
(lambda)术语组合:一种自然的方法。 Zbl 1444.03017号
马西耶·本德考斯基;卡塔兹纳·格里吉尔;皮埃尔·莱斯坎;马雷克·扎昂克
6
2017
显式替换的交集类型。 Zbl 1082.68014号
圣埃芬伦格兰;皮埃尔·莱斯坎;丹·多尔蒂;马里亚纽拉州Dezani-Ciancaglini;范·贝克尔,斯特芬
6
2004
术语重写系统的统一终止。带状态的递归分解排序。 Zbl 0546.68020号
皮埃尔·莱斯坎
6
1984
Curien-Herbelin对称lambda演算的强正规化特征:扩展了Coppo-Dezani传统。 Zbl 1146.68028号
丹尼尔·多尔蒂(Daniel J.Dougherty)。;西尔维娅·吉勒赞;皮埃尔·莱斯坎
6
2008
一种程序的实际实现,该程序基于多项式解释之间的不等式来机械地证明重写系统的终止。 Zbl 0642.68038号
阿勒姆·本·切里法;皮埃尔·莱斯坎
5
1986
“反向”共创、纳什均衡和升级的合理性。 Zbl 1262.91039号
皮埃尔·莱斯坎;马蒂厄·佩里内尔
5
2012
通过基本解释终止重写系统。 兹伯利0817.68095
皮埃尔·莱斯坎
4
1995
对偶经典序列演算的强正规化。 Zbl 1143.03360号
丹尼尔·多尔蒂;西尔维娅·吉勒赞;皮埃尔·莱斯坎;西尔维亚·利卡维奇
4
2005
语言:电路、计算和经典逻辑。 Zbl 1171.68411号
范·贝克尔,斯特芬;圣埃芬伦格兰;Lescanne,皮埃尔
4
2005
自动定理证明的术语重写方法。 Zbl 0754.68100号
Jieh乡;赫莱内·基什内尔;皮埃尔·莱斯坎;米歇尔·鲁西诺维奇
3
1992
二进制lambda演算中的计数项。 Zbl 1352.68042号
卡塔兹纳·格里吉尔;皮埃尔·莱斯坎
3
2014
一条规则终止时,重写系统。 Zbl 0938.68687号
皮埃尔·莱斯坎
3
1994
约简、交集类型和显式替换。 Zbl 0981.68024号
丹·多尔蒂;皮埃尔·莱斯坎
3
2001
Knuth-Bendix完井程序和终止订单的分歧。 Zbl 1023.68595号
皮埃尔·莱斯坎
3
1986
寻址术语重写系统:语法、语义和语用(扩展抽象)。 Zbl 1272.68177号
丹·多尔蒂;皮埃尔·莱斯坎;路易吉·利科里;弗雷德里克·朗
3
2005
使用经典序列进行计算。 Zbl 1173.03011号
范·贝克尔,斯特芬;皮埃尔·莱斯坎
3
2008
资源控件lambda calculi的交集类型。 Zbl 1351.03008号
西尔维娅·吉勒赞;Jelena Ivetić;皮埃尔·莱斯坎;西尔维亚·利卡维奇
3
2011
井重写序和井拟序。 Zbl 0778.68048号
皮埃尔·莱斯坎
2
1992
术语重写系统和代数。 Zbl 0546.68079号
皮埃尔·莱斯坎
2
1984
\(\bar{\lambda}\mu\tilde{\mu}\)-演算中的交集和并集类型。 Zbl 1272.03078号
丹尼尔·多尔蒂(Daniel J.Dougherty)。;西尔维娅·吉勒赞;Lescanne,皮埃尔
2
2005
重写技术和应用程序。法国波尔多,1987年5月25日至27日。诉讼程序。(第二届国际会议)。 Zbl 0619.00025号
2
1987
约简、交集类型和显式替换。 Zbl 1029.03006号
丹·多尔蒂;皮埃尔·莱斯坎
2
2003
Medee:演绎编程方法的一种语言。 Zbl 0408.68014号
F.贝利加德。;财务,J.P。;胡克,B。;J·贾雷。;莱斯坎,P。;J.马洛尔德。;成对,C。;A.奎尔。;雷米,J.L。
2
1979
寻址项重写系统:类型化对象演算的应用。 Zbl 1122.68069号
丹尼尔·多尔蒂。;皮埃尔·莱斯坎;路易吉·利科里
2
2006
非终结模型是抽象类型的模型。 Zbl 0491.68013号
皮埃尔·莱斯坎
2
1982
关于研究数据结构:具有重复键的二进制比赛。 Zbl 0516.68020号
莱斯坎,P。;J.M.斯特亚特。
2
1983
关于闭包和环境的枚举,以及随机生成的应用程序。 Zbl 1442.68023号
马西耶·本德考斯基;皮埃尔·莱斯坎
1
2019
线性和仿射闭λ项的定量方面。 Zbl 1407.03013号
皮埃尔·莱斯坎
1
2018
莫里斯·珍妮特(Maurice Janet)的一篇论文中的拟序。 Zbl 0712.06001号
皮埃尔·莱斯坎
1
1989
高阶证明辅助中的公共知识逻辑。 Zbl 1383.68078号
皮埃尔·莱斯坎
1
2013
使用COQ机械化公共知识逻辑。 Zbl 1122.03007号
皮埃尔·莱斯坎
1
2006
直观的序列式微积分,具有明确的结构规则。 Zbl 1341.03019号
西尔维娅·吉勒赞;Jelena Ivetić;皮埃尔·莱斯坎;德拉吉萨·朱尼奇
1
2011
Algèbres de mots等人。 Zbl 0487.08010号
皮埃尔·莱斯坎
1
1978
抽象数据类型规范的行为分类。 Zbl 0517.68040号
皮埃尔·莱斯坎
1
1983
关于闭包和环境的枚举,以及随机生成应用程序。 Zbl 1442.68023号
马西耶·本德考斯基;皮埃尔·莱斯坎
1
2019
线性和仿射闭lambda项的定量方面。 Zbl 1407.03013号
皮埃尔·莱斯坎
1
2018
(lambda)术语组合:一种自然的方法。 兹比尔1444.03017
马西耶·本德考斯基;卡塔兹纳·格里吉尔;皮埃尔·莱斯坎;马雷克·扎昂克
6
2017
λ项的自然计数。 Zbl 1428.68095号
马西耶·本德考斯基;卡塔日娜·格里吉尔;皮埃尔·莱斯坎;马雷克·扎昂克
8
2016
二进制lambda演算中的计数和生成项。 Zbl 1419.68039号
卡塔兹纳·格里吉尔;皮埃尔·莱斯坎
8
2015
二进制lambda演算中的计数项。 Zbl 1352.68042号
卡塔兹纳·格里吉尔;Lescanne,皮埃尔
3
2014
计算并生成lambda项。 Zbl 1311.68045号
卡塔兹纳·格里吉尔;皮埃尔·莱斯坎
13
2013
计算非类型lambda项时。 Zbl 1259.68028号
皮埃尔·莱斯坎
7
2013
高阶证明助手中的公共知识逻辑。 Zbl 1383.68078号
皮埃尔·莱斯坎
1
2013
“反向”共创、纳什均衡和升级的合理性。 Zbl 1262.91039号
皮埃尔·莱斯坎;马蒂厄·佩里内尔
5
2012
资源控件lambda calculi的交集类型。 Zbl 1351.03008号
西尔维娅·吉勒赞;Jelena Ivetić;皮埃尔·莱斯坎;西尔维亚·利卡维奇
3
2011
直观的序列式微积分,具有明确的结构规则。 兹伯利1341.03019
西尔维娅·吉勒赞;Jelena Ivetić;皮埃尔·莱斯坎;德拉吉萨·朱尼奇
1
2011
Curien-Herbelin对称lambda演算的强正规化特征:扩展了Coppo-Dezani传统。 Zbl 1146.68028号
丹尼尔·多尔蒂(Daniel J.Dougherty)。;西尔维娅·吉勒赞;皮埃尔·莱斯坎
6
2008
使用经典序列进行计算。 兹比尔1173.03011
范·贝克尔,斯特芬;皮埃尔·莱斯坎
3
2008
寻址项重写系统:类型化对象演算的应用。 Zbl 1122.68069号
丹尼尔·多尔蒂(Daniel J.Dougherty)。;皮埃尔·莱斯坎;路易吉·利科里
2
2006
使用COQ机械化公共知识逻辑。 Zbl 1122.03007号
Lescanne,皮埃尔
1
2006
对偶经典序列演算的强正规化。 Zbl 1143.03360号
丹尼尔·多尔蒂;西尔维娅·吉勒赞;皮埃尔·莱斯坎;西尔维亚·利卡维奇
4
2005
语言:电路、计算和经典逻辑。 Zbl 1171.68411号
范·贝克尔,斯特芬;圣埃芬伦格兰;皮埃尔·莱斯坎
4
2005
寻址术语重写系统:语法、语义和语用(扩展抽象)。 Zbl 1272.68177号
丹·多尔蒂;皮埃尔·莱斯坎;路易吉·利科里;弗雷德里克·朗
3
2005
\(\bar{\lambda}\mu\tilde{\mu}\)-演算中的交集和并集类型。 Zbl 1272.03078号
丹尼尔·多尔蒂(Daniel J.Dougherty)。;西尔维娅·吉勒赞;皮埃尔·莱斯坎
2
2005
显式替换的交集类型。 Zbl 1082.68014号
圣埃芬伦格兰;皮埃尔·莱斯坎;丹·多尔蒂;马里亚纽拉州Dezani-Ciancaglini;范·贝克尔,斯特芬
6
2004
约简、交集类型和显式替换。 兹比尔1029.03006
丹·多尔蒂;皮埃尔·莱斯坎
2
2003
约简、交集类型和显式替换。 Zbl 0981.68024号
丹·多尔蒂;皮埃尔·莱斯坎
3
2001
\(lambda-nu),一种保留强正规化的显式替换演算。 Zbl 0873.68108号
Benaissa,Zine-El-Abidine公司;丹尼尔·布里奥德;Lescanne,皮埃尔;Jocelyne的Rouyer-Degli
28
1996
用de Bruijn的能级进行显式替换。 兹比尔1503.03028
皮埃尔·莱斯坎;Jocelyne的Rouyer-Degli
8
1995
通过基本解释终止重写系统。 Zbl 0817.68095号
皮埃尔·莱斯坎
4
1995
一条规则终止时,重写系统。 兹伯利0938.68687
皮埃尔·莱斯坎
3
1994
多项式解释和算法的复杂性。 Zbl 0925.68266号
亚当·西科恩;皮埃尔·莱斯坎
9
1992
自动定理证明的术语重写方法。 Zbl 0754.68100号
Jieh乡;赫莱内·基什内尔;皮埃尔·莱斯坎;米歇尔·鲁西诺维奇
3
1992
重写好序和拟序。 Zbl 0778.68048号
皮埃尔·莱斯坎
2
1992
代数系统规范和开发。调查和注释书目。 Zbl 0875.68642号
10
1991
有限基本项重写系统与其他相关项重写系统合流的可判定性。 Zbl 0705.68067号
马克斯·多切特;蒂埃里·海拉尔;皮埃尔·莱斯坎;苏菲·蒂森
37
1990
竣工终止。 兹比尔0723.68056
法国贝勒加德;皮埃尔·莱斯坎
17
1990
用于证明归纳等式、相对完备性和(ω)-完备性的工具。 Zbl 0691.68026号
阿泽丁·拉兹雷克;皮埃尔·莱斯坎;珍妮·雅克·泰尔
11
1990
关于具有词典编纂状态的递归分解排序和其他相关排序。 兹比尔0698.68031
皮埃尔·莱斯坎
9
1990
等式问题和不统一。 Zbl 0678.68093号
休伯特·科蒙;皮埃尔·莱斯坎
66
1989
莫里斯·珍妮特(Maurice Janet)的一篇论文中的拟序。 Zbl 0712.06001号
皮埃尔·莱斯坎
1
1989
通过多项式解释终止重写系统及其实现。 Zbl 0625.68036号
阿勒姆·本·切里法;皮埃尔·莱斯坎
54
1987
转换顺序。 Zbl 0621.68022号
F.贝利加德。;莱斯坎,P。
7
1987
重写技术和应用程序。法国波尔多,1987年5月25日至27日。诉讼程序。(第二届国际会议)。 Zbl 0619.00025号
2
1987
通过重写证明了关联交换重写系统的终止性。 Zbl 0642.68037号
伊莎贝·格尼迪格;皮埃尔·莱斯坎
7
1986
一个过程的实际实现,它根据多项式解释之间的不等式,机械地证明重写系统的终止。 Zbl 0642.68038号
阿勒姆·本·切里法;皮埃尔·莱斯坎
5
1986
Knuth Bendix完工程序和终止订单的差异。 Zbl 1023.68595号
皮埃尔·莱斯坎
3
1986
NARROWER:一种新的统一算法及其在逻辑编程中的应用。 Zbl 0576.68002号
皮埃尔·雷蒂;克洛德·基什内尔;赫莱内·基什内尔;皮埃尔·莱斯坎
10
1985
术语重写系统的统一终止。带状态的递归分解排序。 兹伯利0546.68020
皮埃尔·莱斯坎
6
1984
术语重写系统和代数。 Zbl 0546.68079号
皮埃尔·莱斯坎
2
1984
递归分解排序。 Zbl 0513.68026号
Jean-Pierre Jouannaud;皮埃尔·莱斯坎;费尔南德·雷尼格
16
1983
关于研究数据结构:具有重复密钥的二进制锦标赛。 Zbl 0516.68020号
莱斯坎,P。;J.M.斯特亚特。
2
1983
抽象数据类型规范的行为分类。 Zbl 0517.68040号
皮埃尔·莱斯坎
1
1983
关于多集排序。 Zbl 0486.68041号
Jean-Pierre Jouannaud;皮埃尔·莱斯坎
16
1982
分解序的一些性质,一种证明重写系统终止的简化序。 Zbl 0518.68025号
皮埃尔·莱斯坎
7
1982
非终结模型是抽象类型的模型。 Zbl 0491.68013号
皮埃尔·莱斯坎
2
1982
Medee:演绎编程方法的一种语言。 Zbl 0408.68014号
F.贝利加德。;财务,J.P。;胡克,B。;J·贾雷。;莱斯坎,P。;J.马洛尔德。;成对,C。;A.奎尔。;雷米,J.L。
2
1979
Algèbres de mots等人。 Zbl 0487.08010号
皮埃尔·莱斯坎
1
1978
全部的 前5名

被354位作者引用

15 皮埃尔·莱斯坎
13 汉斯·赞特马
12 尼古拉斯·佩尔蒂埃
10 纳鸿·德肖维茨
10 阿尔特·米德尔多普
10 瓦格伏尔盖,桑多尔
8 马西耶·本德考斯基
8 费尔南德斯,马里贝尔
8 迪莉娅·凯斯纳
8 乌苏拉·马丁
7 何塞·梅塞盖尔·瓜伊塔
6 萨尔瓦多卢卡斯
6 约阿希姆·斯坦巴赫
6 范·贝克尔,斯特芬
5 毛里西奥·阿亚拉·林科恩
5 伯恩哈德·吉滕贝格
5 马提亚斯·霍巴赫
5 莱因哈德·皮克勒
5 拉尔夫·特里宁
4 奥利维尔·博迪尼
4 里卡多·卡费拉
4 玛丽亚·费雷拉。
4 阿尔芬斯·盖瑟
4 西尔维娅·吉勒赞
4 吉尔根·吉斯尔
4 佛罗伦萨·杰克马尔
4 Jean-Pierre Jouannaud
4 Fairouz D.卡马雷丁。
4 赫莱内·基什内尔
4 圣埃芬·让·埃里克·伦格兰德
4 罗伯特·纽文胡斯
4 米歇尔·鲁西诺维奇
4 保罗·塔劳
3 弗兰兹·巴德
3 法国贝勒加德
3 亚历山大·博克迈尔
3 休伯特·科蒙
3 布鲁诺·库塞尔
3 马克斯·多切特
3 卡瓦尔坎蒂·德·莫拉(Cavalcanti de Moura)、弗拉维奥·莱昂纳多(Flávio Leonardo)
3 艾琳·杜兰德。
3 简·赫尔曼·杰弗斯
3 伊莎贝·格尼迪格
3 卡塔兹纳·格里吉尔
3 迪特尔·霍夫鲍尔
3 查尔斯·霍特
3 扬·威廉·克鲁普
3 克劳德·马奇
3 阿尔伯特·鲁比奥
3 唐纳德·桑内拉。
3 Daniele Nantes Sobrinho
3 安德烈·塔莱基
3 迪维德·维尔
3 克里斯托夫·韦登巴赫
3 莎拉·温克勒
2 高仁青藤
2 川崎朝田
2 利奥·巴赫迈尔
2 罗尔夫·巴科芬
2 艾米莉·巴拉德
2 斯特凡诺·贝拉尔迪
2 Jan A.Bergstra。
2 罗尔·布鲁
2 纪尧姆·邦芬特
2 阿黛尔·布胡拉
2 克利斯朵夫,很有把握
2 科蒙·隆德,休伯特
2 Jean-Luc Coquidé
2 吉尔·Défourneaux
2 斯特凡尼德劳恩
2 乌戈·德利古罗
2 谢尔盖·多夫格尔
2 弗朗西斯科·杜兰
2 威廉·扬·福克金
2 Zbigniew的Go biewski
2 朱尔斯·赫奇斯
2 三木赫尔曼
2 Nao Hirokawa
2 Jelena Ivetić
2 肯塔罗州菊池
2 克洛德·基什内尔
2 小林直树
2 斯特凡·克里斯彻
2 伊莎贝拉·拉彻
2 克莱门斯·劳特曼
2 西尔维亚·利卡维奇
2 凯瑟琳·梅多斯。
2 皮埃尔·埃蒂安·莫罗
2 戈帕兰·纳达图尔
2 巴利亚特·纳伦德兰
2 Rob Nederpelt公司
2 直纪西田
2 埃诺·奥勒布什
2 大卫·艾伦(David Alan),Plaisted
2 Jean-Luc雷米
2 格里高·罗什乌
2 大辅佐藤
2 彼得·施奈德·坎普
2 克劳斯·舒尔茨。
2 伊丽莎白·A·斯科特。
…还有254位作者

按年份列出的引文

数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.