编辑配置文件(在新选项卡中打开) 皮埃尔·莱斯坎 合著者距离 作者ID: 莱斯卡内·皮埃尔 发布日期: 皮埃尔·莱斯坎;Lescanne,P。 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考·论文.fr 编入索引的文档: 73出版物自1977年以来,包括1本书和7其他arXiv预打印 7作为编辑的贡献 合著者: 54位合著者具有54联合出版物 698合著作者 全部的 前5名合著者 25 单作者的 12 西尔维娅·吉勒赞 7 Jelena Ivetić 7 西尔维亚·利卡维奇 5 马西耶·本德考斯基 5 卡塔兹纳·格里吉尔 4 丹·多尔蒂 4 丹尼尔·多尔蒂(Daniel J.Dougherty)。 4 马雷克·扎昂克 3 法国贝勒加德 3 范·贝克尔,斯特芬 2 阿勒姆·本·切里法 2 雷内·戴维 2 简·格拉博夫斯基 2 Jean-Pierre Jouannaud 2 赫莱内·基什内尔 2 弗雷德里克·朗 2 圣埃芬·让·埃里克·伦格兰德 2 路易吉·利科里 2 Jocelyne的Rouyer-Degli 2 沃尔夫冈·韦奇勒 2 德拉吉萨·朱尼奇 1 Benaissa,Zine-el-Abidine公司 1 米歇尔·比多特 1 丹尼尔·布里奥德 1 亚当·西科恩 1 休伯特·科蒙 1 马克斯·多切特 1 马里亚纽拉州Dezani-Ciancaglini 1 财务,Jean-Pierre 1 丹尼·加迪 1 伊莎贝·格尼迪格 1 雅克·盖亚德 1 蒂埃里·海利亚德 1 Jieh乡 1 胡克,B。 1 雅克·贾雷 1 西蒙娜·卡什特罗维奇 1 克洛德·基什内尔 1 汉斯·约尔格·克鲁斯基 1 格雷戈里·库切洛夫 1 阿泽丁·拉兹雷克 1 J.马洛尔德。 1 彼得·莫塞斯(Peter D.Mosses)。 1 克劳德·佩尔 1 马蒂厄·佩里内尔 1 A.奎尔。 1 费尔南德·雷尼格 1 Jean-Luc雷米 1 皮埃尔·雷蒂 1 米歇尔·鲁西诺维奇 1 唐纳德·桑内拉。 1 Jean-Marc Steyaert 1 珍妮·雅克·泰尔 1 苏菲·蒂森 全部的 前5名系列 4 理论计算机科学 3 信息与计算 3 MSCS公司。计算机科学中的数学结构 3 函数编程杂志 3 计算机科学课堂讲稿 2 RAIRO,Informatique Théorique公司 2 符号计算杂志 2 欧洲理论计算机科学协会(EATCS)公报 2 工程、通信和计算中的应用代数 1 信息学报 1 信息处理信件 1 《计算机杂志》。A部分/B部分 1 《数学研究所出版物》。Nouvelle Série公司 1 计算机程序设计科学 1 逻辑程序设计杂志 1 自动推理杂志 1 计算的形式方面 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 函数与逻辑编程杂志 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 离散数学与理论计算机科学。诉讼 1 数学研究 全部的 前5名领域 61 计算机科学(68至XX) 30 数学逻辑和基础(03-XX) 6 总体主题;集合(00-XX) 5 组合数学(05-XX) 4 有序,格,有序代数结构(06-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 一般代数系统(08-XX) 2 群论与推广(20-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名39篇连载文章中引用 59 理论计算机科学 22 信息与计算 20 符号计算杂志 16 自动推理杂志 9 工程、通信和计算中的应用代数 7 纯逻辑与应用逻辑年鉴 6 函数编程杂志 5 信息学报 5 信息处理信件 5 RAIRO,Informatique Théorique公司 5 MSCS公司。计算机科学中的数学结构 5 计算机科学中的逻辑方法 4 计算的形式方面 3 逻辑与代数程序设计杂志 3 逻辑程序设计理论与实践 3 程序设计中的逻辑和代数方法杂志 2 圣母院形式逻辑杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 组合数学电子杂志 2 数学与人工智能年鉴 2 高阶和符号计算 2 应用逻辑杂志 1 离散应用数学 1 信息科学 1 苏联数学杂志 1 符号逻辑杂志 1 算法 1 国际智能系统杂志 1 密码学杂志 1 国际计算机科学基础杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 组合数学、概率与计算 1 数学科学杂志(纽约) 1 计算系统理论 1 组合年刊 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 形式化数学 全部的 前5名18个领域被引用 285 计算机科学(68至XX) 126 数学逻辑和基础(03-XX) 11 组合数学(05-XX) 9 一般代数系统(08-XX) 7 有序,格,有序代数结构(06-XX) 6 范畴理论;同调代数(18-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 信息与通信理论、电路(94-XX) 4 群论与推广(20-XX) 3 历史和传记(01-XX) 2 数论(11-XX) 2 交换代数(13-XX) 2 代数几何(14-XX) 2 概率论与随机过程(60-XX) 1 场论和多项式(12-XX) 1 统计学(62-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.