编辑配置文件(在新选项卡中打开) 帕特里克·贝洛特 合著者距离 作者ID: 吊环.帕特里克 发布日期: 帕特里克·贝洛特 外部链接: MGP公司 已编制索引的文档: 28出版物自1998年以来 1名编辑贡献 合著者: 19位合著者具有25联合出版物 504合著作者 全部的 前5名合著者 4 单作者的 7 乌戈·达尔拉戈 4 亚历克西斯·盖塞伦 4 川崎捷瑞 三 西蒙娜·隆奇·德拉·罗卡 2 文森特·阿塔西 2 吉尔·巴特 2 埃里卡·德·贝内代蒂 2 维吉尔·莫比尔 2 马可·佩奇尼 1 保罗·科波拉 1 文森特·达诺斯 1 达斯,阿努帕姆 1 托马斯·埃尔哈德 1 马可·加博阿迪 1 直纪小林 1 Jean-Yves玛丽恩 1 达米亚诺·马扎 1 Jean-Yves Moyen 1 劳伦特·雷格尼尔 全部的 前5名系列 5 信息与计算 4 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 1 自动推理杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 领域 24 数理逻辑与基础(03-XX) 20 计算机科学(68至XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物有被引用160中的次82文件 引用人▼ 年份▼ lambda微积分中多项式时间计算的光类型。 Zbl 1169.68010号 帕特里克·贝洛特;川崎捷瑞 26 2009 基本复杂性和交互几何。 Zbl 0973.03033号 帕特里克·贝洛特;马可·佩奇尼 15 2001 分层相干空间:轻型线性逻辑的指称语义。 Zbl 1051.03050号 帕特里克·贝洛特 12 2004 分层线性逻辑和有限时间复杂性。 Zbl 1187.68246号 帕特里克·贝洛特;达米亚诺·马扎 11 2010 软lambda-calculus:一种用于多项式时间计算的语言。 Zbl 1126.03306号 帕特里克·贝洛特;维吉尔·莫比尔 9 2004 一种来自轻线性逻辑的多时间函数语言。 Zbl 1260.68070号 帕特里克·贝洛特;马可·加博阿迪;维吉尔·莫比尔 8 2010 初等仿射逻辑中一种可行的打字算法。 兹伯利1114.03049 帕特里克·贝洛特;Terui、Kazushige 8 2005 永恒的游戏。 Zbl 0908.03034号 帕特里克·贝洛特;文森特·达诺斯;托马斯·埃尔哈德;劳伦特·雷格尼尔 7 1998 系统F项的Ptime可约性验证:对偶光仿射逻辑中的类型推理。 Zbl 1131.03032号 文森特·阿塔西;帕特里克·贝洛特;川崎捷瑞 7 2007 关于轻逻辑、统一编码和多项式时间。 Zbl 1103.03060号 乌戈·达尔拉戈;帕特里克·贝洛特 6 2006 关于初等线性逻辑的表示性:刻画Ptime和指数时间层次。 Zbl 1310.03052号 帕特里克·贝洛特 6 2015 高阶解释和程序复杂性。 Zbl 1339.68037号 帕特里克·贝洛特;乌戈·达尔拉戈 6 2016 pi演算中并行计算复杂性的类型。 Zbl 1473.68111号 帕特里克·贝洛特;亚历克西斯·盖塞伦 5 2021 轻逻辑和优化简化:完整性和复杂性。 Zbl 1233.03059号 帕特里克·贝洛特;保罗·科波拉;乌戈·达尔拉戈 5 2011 高阶解释和程序复杂性。 Zbl 1252.68060号 帕特里克·贝洛特;乌戈·达尔拉戈 4 2012 次递归定义的隐式计算复杂性及其在密码证明中的应用。 Zbl 1471.68053号 帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 4 2015 结合线性逻辑和大小类型以实现隐式复杂性。 Zbl 1528.68056号 帕特里克·贝洛特;亚历克西斯·盖塞伦 三 2018 通过对单词的约束进行轻仿射逻辑的类型推断。 Zbl 1071.03018号 帕特里克·贝洛特 三 2004 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1417.68047号 帕特里克·贝洛特;埃里卡·德·贝内代蒂;西蒙娜·隆奇·德拉·罗卡 三 2014 通过对偶光仿射逻辑验证系统F项的Ptime可约性。 Zbl 1225.03084号 文森特·阿塔西;帕特里克·贝洛特;川崎捷瑞 三 2006 客座评论:关于隐式计算复杂性的特刊。 Zbl 1351.00038号 三 2009 大小类型,用于Pi-calculus过程的并行复杂性。 Zbl 07730636号 帕特里克·贝洛特;亚历克西斯·盖塞伦;直纪小林 2 2021 基本复杂性和交互几何。(扩展摘要)。 Zbl 0931.03045号 帕特里克·贝洛特;马可·佩奇尼 1 1999 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1395.68135号 帕特里克·贝洛特;埃里卡·德·贝内代蒂;西蒙娜·隆奇·德拉·罗卡 1 2018 关于准解释、盲抽象和隐含复杂性。 Zbl 1288.68078号 帕特里克·贝洛特;乌戈·达尔拉戈;Jean-Yves Moyen 1 2012 次递归定义的隐式计算复杂性及其在密码证明中的应用。 Zbl 1468.68057号 帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 1 2019 pi演算中并行计算复杂性的类型。 Zbl 1473.68111号 帕特里克·贝洛特;亚历克西斯·盖塞伦 5 2021 用于Pi演算过程的并行复杂性的大小类型。 兹伯利07730636 帕特里克·贝洛特;亚历克西斯·盖塞伦;直纪小林 2 2021 次递归定义的隐式计算复杂性及其在密码证明中的应用。 Zbl 1468.68057号 帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 1 2019 结合线性逻辑和大小类型以实现隐式复杂性。 Zbl 1528.68056号 帕特里克·贝洛特;亚历克西斯·盖塞伦 三 2018 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1395.68135号 帕特里克·贝洛特;埃里克·德·贝内德蒂;西蒙娜·隆奇·德拉·罗卡 1 2018 高阶解释和程序复杂性。 Zbl 1339.68037号 帕特里克·贝洛特;乌戈·达尔拉戈 6 2016 关于初等线性逻辑的表示性:刻画Ptime和指数时间层次。 Zbl 1310.03052号 帕特里克·贝洛特 6 2015 次递归定义的隐式计算复杂性及其在密码证明中的应用。 Zbl 1471.68053号 帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 4 2015 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1417.68047号 帕特里克·贝洛特;埃里卡·德·贝内代蒂;西蒙娜·隆奇·德拉·罗卡 三 2014 高阶解释和程序复杂性。 Zbl 1252.68060号 帕特里克·贝洛特;乌戈·达尔拉戈 4 2012 关于准解释、盲抽象和隐含复杂性。 Zbl 1288.68078号 帕特里克·贝洛特;乌戈·达尔拉戈;Jean-Yves Moyen 1 2012 轻逻辑和优化简化:完整性和复杂性。 Zbl 1233.03059号 帕特里克·贝洛特;保罗·科波拉;乌戈·达尔拉戈 5 2011 分层线性逻辑和有限时间复杂性。 Zbl 1187.68246号 帕特里克·贝洛特;达米亚诺·马扎 11 2010 一种来自轻线性逻辑的多时间函数语言。 Zbl 1260.68070号 帕特里克·贝洛特;马可·加博阿迪;维吉尔·莫比尔 8 2010 lambda微积分中多项式时间计算的光类型。 Zbl 1169.68010号 帕特里克·贝洛特;川崎捷瑞 26 2009 客座评论:关于隐式计算复杂性的特刊。 Zbl 1351.00038号 三 2009 系统F项的Ptime可约性验证:对偶光仿射逻辑中的类型推理。 Zbl 1131.03032号 文森特·阿塔西;帕特里克·贝洛特;川崎捷瑞 7 2007 关于轻逻辑、统一编码和多项式时间。 Zbl 1103.03060号 乌戈·达尔拉戈;帕特里克·贝洛特 6 2006 通过对偶光仿射逻辑验证系统F项的Ptime可约性。 Zbl 1225.03084号 文森特·阿塔西;帕特里克·贝洛特;川崎捷瑞 三 2006 初等仿射逻辑中一种可行的打字算法。 Zbl 1114.03049号 帕特里克·贝洛特;川崎捷瑞 8 2005 分层一致性空间:轻线性逻辑的指称语义。 兹比尔1051.03050 帕特里克·贝洛特 12 2004 软lambda演算:一种用于多项式时间计算的语言。 Zbl 1126.03306号 帕特里克·贝洛特;维吉尔·莫比尔 9 2004 通过对单词的约束进行轻仿射逻辑的类型推断。 Zbl 1071.03018号 帕特里克·贝洛特 三 2004 基本复杂性和交互几何。 Zbl 0973.03033号 帕特里克·贝洛特;马可·佩奇尼 15 2001 基本复杂性和交互几何。(扩展摘要)。 Zbl 0931.03045号 帕特里克·贝洛特;马可·佩奇尼 1 1999 永恒的游戏。 Zbl 0908.03034号 帕特里克·贝洛特;文森特·达诺斯;托马斯·埃尔哈德;劳伦特·雷格尼尔 7 1998 所有引用的出版物 前5名被引用出版物 全部的 前5名96位作者引用 12 帕特里克·贝洛特 10 乌戈·达尔拉戈 6 罗曼·佩乔 5 伊曼纽尔·海因里 5 达米亚诺·马扎 4 克莱门·奥伯特 4 托马斯·塞勒 三 亚历克西斯·盖塞伦 三 Jean-Yves玛丽恩 三 盖·安德鲁·麦库斯克 三 西蒙娜·隆奇·德拉·罗卡 三 川崎捷瑞 2 贝尼亚米·阿卡托利 2 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 安德烈亚·阿斯佩蒂 2 马丁·阿文齐尼 2 马克·巴格诺尔 2 吉尔·巴特 2 皮埃尔·布德斯 2 埃里卡·德·贝内代蒂 2 马丁·霍夫曼 2 Max Iosifovich,卡诺维奇 2 布鲁斯·卡普伦。 2 朱利奥·曼佐内托 2 马蒂厄·佩里内尔 2 肯·萨卡约里 2 洛伦佐托托拉·德·法尔科 2 津田,武士 2 玛格丽塔·佐齐 1 萨姆森·艾布拉姆斯基 1 桑德拉·阿尔维斯 1 泰斯·波顿 1 悉达哈·巴斯卡 1 布鲁内尔,阿洛伊斯 1 安娜·C·卡尔德隆。 1 杰切克·克尔兹 1 皮埃尔·克莱兰堡 1 保罗·科波拉 1 拉斐尔·克鲁比莱 1 达尔·齐利奥(Dal Zilio,Silvano) 1 文森特·达诺斯 1 丹尼尔·德·卡瓦略 1 罗曼·德曼根 1 江口、闹喜 1 雨果·弗雷 1 玛丽贝尔·费尔南德斯 1 吉恩·菲乔特 1 马里奥弗洛里多 1 卡斯滕·福斯 1 马可·加博阿迪 1 弗朗西斯科·加瓦佐 1 劳雷·贡诺德 1 朱塞佩·格雷科 1 斯特凡诺游击队 1 郭丽叶 1 Furio Honsell 1 马修·霍洛普 1 石川、高沼 1 Jean-Baptiste儒瓦内 1 直纪小林 1 Anna Chiara Lai 1 吉姆·莱尔德 1 马克·拉森 1 奥利维·洛朗 1 路易吉·利科里 1 伊恩·麦基 1 安托万·马德特 1 彼得·马克西莫维奇 1 安德烈亚·马西尼 1 松田,Kazutaka 1 理查德·麦金利 1 理查德·穆特 1 乔治·莫瑟 1 Nguyên,LêThành Dũng 1 米歇尔·帕加尼 1 亚历山德拉·帕尔米吉亚诺 1 雨果·帕奎特 1 马可·佩奇尼 1 芭芭拉·佩蒂特 1 马里奥广场 1 皮埃尔·普拉迪奇 1 雷托雷,基督徒 1 卢卡·罗维斯 1 佐藤隆介 1 伊万·斯卡格内托 1 乌尔里希·舍普 1 阿列克西·舒伯特 1 菲利普·斯科特。 1 Tsubasa Shoshi 1 雅各布·格鲁·西蒙森 1 马可·索列里 1 肖恩·斯坦德弗 1 保罗·特兰基利 1 迪维德·维尔 1 卢卡·维切利 1 吉田、Nobuko 全部的 前5名13篇连载文章中引用 16 理论计算机科学 16 信息与计算 5 MSCS公司。计算机科学中的数学结构 三 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 ACM计算逻辑事务 1 Studia Logica公司 1 计算机程序设计科学 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 函数编程杂志 1 逻辑与代数程序设计杂志 全部的 前5名在7个字段中引用 65 计算机科学(68至XX) 56 数理逻辑与基础(03-XX) 4 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 三 量子理论(81-XX) 1 范畴理论;同调代数(18-XX) 1 动力系统和遍历理论(37至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文