编辑配置文件（在新选项卡中打开） 贝内代托·恩特里吉拉 合著者距离 作者ID： intrigila.benedetto公司 发布日期： 贝内代托·恩特里吉拉;Intrigila，B。 已编制索引的文档： 52出版物自1983年起 合著者： 25位合著者具有46联合出版物 211合作作者 全部的 前5名合著者 5 单作者的 15 朱塞佩·德拉·佩纳 12 恩里科·特隆西 12 玛丽莎·文丘里尼·齐利 9 伊戈尔·梅拉蒂 7 弗拉维奥·达莱桑德罗 7 理查德·斯塔特曼 5 亚历山德罗·贝拉杜奇 4 斯特凡诺·瓦里奇奥 三 朱利奥·曼佐内托 2 科拉多·伯姆 2 丹尼尔·马加泽尼 2 安德鲁·波伦斯基 1 阿尔科尔，C。 1 比亚松，E。 1 Ciancamella，酯 1 安蒂尼斯卡·迪·马尔科 1 保拉·因弗拉迪 1 安娜·R·劳伦兹。 1 米歇尔·米尼奇诺 1 塞尔吉奥·奥里菲斯 1 安德烈·帕里塞 1 阿方索·皮兰托尼奥 1 伊万诺·萨尔沃 1 斯特凡诺·索尔吉 1 阿尔贝托·托法尼 全部的 前5名系列 8 理论计算机科学 4 计算机科学中的逻辑方法 三 信息与计算 三 计算机基础理论 2 信息学报 2 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 1 信息处理信件 1 圣母院形式逻辑杂志 1 应用数学进展 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 Rendiconti di Matematica e delle起诉Applicazioni。VII系列 1 符号计算杂志 1 数学百科全书。新系列 1 国际人类计算机研究杂志 1 数学逻辑季刊（MLQ） 1 欧洲控制杂志 全部的 前5名领域 29 计算机科学（68至XX） 24 数学逻辑和基础（03-XX） 三 系统论；控制（93至XX） 2 数论（11-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 1 凸和离散几何（52至XX） 1 一般拓扑结构（54至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用185中的次135文件 引用人▼ 年份▼ 在图的cop数上。 兹比尔0801.90150 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 49 1993 稀疏无上下文语言计数函数的结构。 Zbl 1160.68407号 弗拉维奥·达莱桑德罗;贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 15 2006 初等数论中的组合原理。 Zbl 0747.03025号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 14 1991 关于简单lambda-terms的一些新结果。 Zbl 0796.03022号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 11 1993 Church-Roser\（\lambda\）-理论、无穷大\（\lambda\）-项和一致性问题。 Zbl 0867.03004号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 8 1996 稀疏无上下文语言的Parikh计数函数是拟多项式。 Zbl 1194.68135号 弗拉维奥·达莱桑德罗;贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 7 2009 强规范化的蚂蚁范式。 Zbl 0817.03006号 科拉多·伯姆;贝内代托·恩特里吉拉 7 1994 拟多项式、线性丢番图方程和半线性集。 Zbl 1253.11042号 弗拉维奥·达莱桑德罗;Benedetto Intrigila公司;斯特凡诺·瓦里奇奥 7 2012 有界无上下文语言与正则语言的交换等价：半线性情形。 Zbl 1318.68103号 弗拉维奥·达莱桑德罗;贝内代托·恩特里吉拉 7 2015 关于有界无上下文语言和正则语言的交换等价：代码案例。 Zbl 1304.68098号 弗拉维奥·达莱桑德罗;贝内代托·恩特里吉拉 7 2015 关于\（mathbb{N}^k\）的半线性集的交换等价性。 Zbl 1304.68099号 弗拉维奥·达莱桑德罗;贝内代托·恩特里吉拉 7 2015 （Lambda）-演算中的一个简单项问题。 Zbl 0751.03006号 Benedetto Intrigila公司 6 1991 同步正则表达式。 Zbl 1034.68066号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;恩里科·特隆西;玛丽莎·文丘里尼·齐利 6 2003 不存在Statman的双不动点组合子确实不存在。 Zbl 0878.03009号 贝内代托·恩特里吉拉 5 1997 关于Higman和Kruskal定理在正则语言和有理树中的推广。 Zbl 0958.68086号 贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 5 2000 在（lambda\beta）-演算中，ω规则是（Pi_1^1）-完备的。 Zbl 1173.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 三 2009 关于eta-恒等式展开的结构性质。 Zbl 1175.68102号 Intrigila，B。;M.内西。 2 2003 在自动验证中利用转换局部性。 Zbl 1002.68642号 恩里科·特隆西;朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;Venturini Zilli，玛丽莎 2 2001 关于（lambda）-演算中数值系统的一些结果。 Zbl 0830.03004号 贝内代托·恩特里吉拉 2 1994 关于lambda演算中可拓性的一些结果。 Zbl 1065.03014号 贝内代托·恩特里吉拉;理查德·斯塔特曼 2 2005 反驳Sallé的长期猜测。 Zbl 1434.03052号 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 2 2017 Böhm树理论和Sallé猜想中的可拓度。 兹伯利1515.03066 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 2 2019 欧米茄规则在（lambda\beta）-演算中是\（\boldsymbol\Pi_{1}^{1}\）-完备的。 Zbl 1215.03024号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2007 通过模型检查技术自动生成最优控制器。 Zbl 1188.93031号 朱塞佩·德拉·佩纳;丹尼尔·马加泽尼;阿尔贝托·托法尼;Benedetto Intrigila公司;伊戈尔·梅拉蒂;恩里科·特隆西 1 2008 使用Mur（\varphi）验证器进行有界概率模型检验。 Zbl 1117.68425号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;伊戈尔·梅拉蒂;恩里科·特隆西;玛丽莎·文丘里尼·齐利 1 2004 在迭代项上进行匹配和统一的综合设置。 Zbl 0941.68020号 Intrigila，B。;因弗拉迪，P。;文丘里尼·齐利，M。 1 1999 利用基于磁盘的Mur\（\varphi\）验证器中的转换位置。 Zbl 1019.68621号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;恩里科·特隆西;玛丽莎·文丘里尼·齐利 1 2002 Lambda理论允许具有有限个不动点的项。 Zbl 1423.03055号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2017 CGMurphi：非线性混合系统数字控制器的自动综合。 Zbl 1293.93313号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;丹尼尔·马加泽尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2013 Barendregt问题在感性（λ）理论上的求解。 Zbl 1127.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2006 关于lambda演算中组合子的不动点数。 Zbl 0968.03018号 Intrigila，B。;比亚松，E。 1 2000 Böhm树理论和Sallé猜想中的可拓度。 Zbl 1515.03066号 Benedetto Intrigila公司;朱利奥·曼佐内托;安德鲁·波伦斯基 2 2019 反驳Sallé的长期猜测。 Zbl 1434.03052号 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 2 2017 Lambda理论允许具有有限个不动点的项。 Zbl 1423.03055号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2017 有界无上下文语言与正则语言的交换等价：半线性情形。 Zbl 1318.68103号 D&rsquo；弗拉维奥·亚历山德罗;Benedetto Intrigila公司 7 2015 关于有界无上下文语言和正则语言的交换等价：代码案例。 Zbl 1304.68098号 D&rsquo；弗拉维奥·亚历山德罗;贝内代托·恩特里吉拉 7 2015 关于\（mathbb{N}^k\）的半线性集的交换等价性。 Zbl 1304.68099号 D&rsquo；弗拉维奥·亚历山德罗;贝内代托·恩特里吉拉 7 2015 CGMurphi：非线性混合系统数字控制器的自动综合。 Zbl 1293.93313号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;丹尼尔·马加泽尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2013 拟多项式、线性丢番图方程和半线性集。 Zbl 1253.11042号 D&rsquo；弗拉维奥·亚历山德罗;贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 7 2012 稀疏无上下文语言的Parikh计数函数是拟多项式。 Zbl 1194.68135号 D&rsquo；弗拉维奥·亚历山德罗;贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 7 2009 ω规则在\（\lambda\beta\）-演算中是\（\Pi_1^1\）-完备的。 Zbl 1173.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 三 2009 通过模型检查技术自动生成最优控制器。 Zbl 1188.93031号 朱塞佩·德拉·佩纳;丹尼尔·马加泽尼;阿尔贝托·托法尼;贝内代托·恩特里吉拉;伊戈尔·梅拉蒂;恩里科·特隆西 1 2008 欧米茄规则在（lambda\beta）-演算中是\（\boldsymbol\Pi_{1}^{1}\）-完备的。 Zbl 1215.03024号 Benedetto Intrigila公司;理查德·斯塔特曼 1 2007 稀疏无上下文语言计数函数的结构。 Zbl 1160.68407号 D&rsquo；弗拉维奥·亚历山德罗;贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 15 2006 Barendregt问题在感性（λ）理论上的求解。 Zbl 1127.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2006 关于lambda演算中可拓性的一些结果。 Zbl 1065.03014号 Benedetto Intrigila公司;理查德·斯塔特曼 2 2005 使用Mur（\varphi）验证器进行有界概率模型检验。 Zbl 1117.68425号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;伊戈尔·梅拉蒂;恩里科·特隆西;玛丽莎·文丘里尼·齐利 1 2004 同步正则表达式。 Zbl 1034.68066号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;恩里科·特隆西;Venturini Zilli，玛丽莎 6 2003 关于eta-恒等式展开的结构性质。 Zbl 1175.68102号 Intrigila，B。;M.内西。 2 2003 利用基于磁盘的Mur \（\varphi\）验证器中的转换位置。 Zbl 1019.68621号 朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;恩里科·特隆西;玛丽莎·文丘里尼·齐利 1 2002 在自动验证中利用转换局部性。 Zbl 1002.68642号 恩里科·特隆西;朱塞佩·德拉·佩纳;Benedetto Intrigila公司;玛丽莎·文丘里尼·齐利 2 2001 关于Higman和Kruskal定理在正则语言和有理树中的推广。 Zbl 0958.68086号 贝内代托·恩特里吉拉;斯特凡诺·瓦里奇奥 5 2000 关于lambda演算中组合子的不动点数。 Zbl 0968.03018号 Intrigila，B。;比亚松，E。 1 2000 在迭代项上进行匹配和统一的综合设置。 Zbl 0941.68020号 Intrigila，B。;因弗拉迪，P。;文丘里尼·齐利，M。 1 1999 不存在Statman的双不动点组合子确实不存在。 Zbl 0878.03009号 贝内代托·恩特里吉拉 5 1997 Church-Rosser（lambda）-理论、无限（lambda-）-项和一致性问题。 Zbl 0867.03004号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 8 1996 强规范化的蚂蚁范式。 Zbl 0817.03006号 科拉多·伯姆;贝内代托·恩特里吉拉 7 1994 关于\（\lambda \）-微积分中数值系统的一些结果。 Zbl 0830.03004号 贝内代托·恩特里吉拉 2 1994 在图的cop数上。 Zbl 0801.90150号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 49 1993 关于简单lambda-terms的一些新结果。 Zbl 0796.03022号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 11 1993 初等数论中的组合原理。 Zbl 0747.03025号 亚历山德罗·贝拉杜奇;贝内代托·恩特里吉拉 14 1991 （Lambda）-演算中的一个简单项问题。 兹伯利0751.03006 贝内代托·恩特里吉拉 6 1991 所有引用出版物 前5名被引用出版物 全部的 前5名206位作者引用 16 弗拉维奥·达莱桑德罗 13 贝内代托·恩特里吉拉 8 扬·威廉·克鲁普 8 斯特凡诺·瓦里奇奥 6 安东尼·博纳托 5 克拉克、南希·埃伦 5 保拉·达奎诺 5 费多尔·福明。 5 安德鲁·波伦斯基 4 阿图罗·卡皮 4 Petr A.Golovach。 4 奥斯卡·H·伊巴拉。 4 朱利奥·曼佐内托 4 伊恩·麦克奎伦 4 安东尼奥·萨利布拉 三 Cornaros、Charalampos 三 桑迪普·达斯 三 约尔格恩德鲁利斯 三 哈蒙德·加拉瓦特 三 迪米特里·亨德里克斯 三 娜塔莎·科马洛夫 三 安格斯·约翰·麦金太尔 三 理查德·斯塔特曼 三 杰瑞米·特科特 三 贾拉·乌伊托 2 谢赫·沙基尔·阿赫塔尔 2 亚历山德罗·贝拉杜奇 2 英格·贝斯克 2 塞巴斯蒂安·勃兰特。 2 阿尔贝托·卡拉罗 2 克里斯蒂安·乔夫鲁特 2 德弗里斯（Fer-Jan J.de Vries）。 2 朱塞佩·德拉·佩纳 2 斯蒂芬·芬鲍 2 香农·L·菲茨帕特里克。 2 格纳·哈恩 2 梅丽莎·雨根（Melissa A.Huggan）。 2 苏拉布·O·卡西达什维利。 2 威廉·金纳斯利。 2 简·克拉托什维尔 2 玛格丽特·埃伦·梅辛格 2 尼塞，尼古拉斯 2 Pra at，Pawe 2 马库斯·施密德。 2 卡罗尔·苏珊 2 罗杰·沃滕霍夫（Roger P.Wattenhofer）。 2 彼得·温克勒（Peter M.Winkler）。 2 艾伦·罗伯特·伍兹 1 迪帕克·阿迪亚鲁。 1 法比奥·阿莱西 1 托马斯·安德烈 1 阿尔伯特·阿塞里亚斯 1 斯特凡·巴列夫 1 亨德里克·彼得·巴伦德雷格特 1 托马斯·安努·巴苏基 1 鲍曼，帕斯卡 1 Natalie C.Behague女士。 1 杰森·贝尔。 1 马丁·伯格伦德 1 香塔尔·伯林 1 海宁·博迪恩 1 Bose，Prosenjit K。 1 简·布莱恩 1 佛罗里达州布鲁瓦特 1 鲍里斯·布里姆科夫 1 安东尼奥·布恰雷利 1 安德烈亚·伯吉斯。 1 罗莎琳德·卡梅隆。 1 安德烈亚·坎蒂尼 1 乔舒亚·卡尔森 1 安东尼奥·塞隆 1 伊桑奇尼福鲁珊 1 玛丽亚·丘德诺夫斯基 1 丹尼尔·考克斯 1 克里斯，丹尼 1 彼得·丹泽格 1 尤尔根·达索 1 Jean-Lou de Carufel 1 阿尔多·德卢卡 1 罗德·德弗里杰尔 1 Dezani Ciancaglini，马里亚焦拉 1 科斯塔斯·迪米特拉科普洛斯 1 克里斯托弗·达菲 1 道格拉斯·戴尔 1 尤瓦尔·埃梅克 1 托马斯·埃勒巴赫 1 佐丹奴法夫罗 1 塞缪尔·菲奥里尼 1 亨利·Förster 1 弗尔斯特，克劳斯·蒂科 1 多米尼克·D·弗雷登伯格。 1 阿兰·迈克尔·弗里兹 1 摩西·加纳迪 1 加内亚、米海 1 罗伯特·加尼安 1 罗伯特·伊恩·戈德布拉特 1 乌塔姆·K·古普塔。 1 亚历克斯·霍尔 1 帕梅拉·哈里斯（Pamela E.Harris）。 1 费利克斯·哈特恩斯坦 …还有106位作者 全部的 前5名37篇连载文章中引用 38 理论计算机科学 7 离散应用数学 7 离散数学 7 信息与计算 6 纯逻辑与应用逻辑年鉴 4 计算机科学中的逻辑方法 三 计算机与系统科学杂志 三 图论杂志 三 符号逻辑杂志 三 图与组合 三 MSCS公司。计算机科学中的数学结构 三 国际计算机科学基础杂志 2 信息处理信件 2 圣母院形式逻辑杂志 2 欧洲控制杂志 2 计算系统理论 2 RAIRO公司。理论信息学及其应用 2 RAIRO公司。理论信息学及其应用 1 信息学报 1 以色列数学杂志 1 应用数学与计算 1 加拿大数学杂志 1 信息科学 1 组合理论杂志。B系列 1 半群论坛 1 算法 1 SIAM离散数学杂志 1 数学逻辑档案 1 中国科学通报 1 组合数学电子杂志 1 函数编程杂志 1 符号逻辑公报 1 图形算法与应用杂志 1 离散数学的进展与应用 1 离散数学、算法和应用 1 符号逻辑述评 1 动态游戏及其应用 全部的 前5名在15个字段中引用 70 计算机科学（68至XX） 44 数学逻辑和基础（03-XX） 38 博弈论、经济学、金融和其他社会和行为科学（91-XX） 36 组合数学（05-XX） 8 数论（11-XX） 2 总体主题；集合（00-XX） 2 生物学和其他自然科学（92-XX） 2 系统论；控制（93至XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 1 凸和离散几何（52至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文