编辑配置文件(在新选项卡中打开) 阿尔贝托·佩特罗西 合著者距离 作者ID: 彼得罗西·阿尔贝托 发布日期: 阿尔贝托·佩特罗西;A.佩特罗西。 编入索引的文档: 99出版物自1975年以来,包括1本书 作为编辑的10份贡献 审查活动: 74评论 合著者: 31位合著者具有88联合出版物 793合著作者 全部的 前5名合著者 21 单作者的 60 毛里齐奥·普罗埃蒂 34 法比奥·菲奥拉万蒂 22 伊曼纽尔·德·安吉利斯 16 瓦莱里奥·塞尼 10 安德烈·斯科伦 8 安娜·拉布拉 2 马可·加瓦内利 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 斯特凡诺·卡桑吉安 2 玛丽亚·希亚拉(Maria Chiara Meo) 1 大卫·安科纳 1 玛丽安娜·尼科洛西克·阿斯蒙多 1 卡洛·巴蒂尼 1 雅切克·Błażewicz 1 罗德·M·伯斯托尔。 1 坎通·多梅尼科 1 佛罗伦萨,卡米洛 1 安德烈亚·福米萨诺 1 约翰·加拉赫(John P.Gallagher)。 1 劳拉·佐丹奴 1 瓦伦蒂娜·格里奥齐 1 简·克伦帕 1 佩德罗·洛佩兹·加西亚 1 托尼·曼奇尼 1 马可·马拉提亚 1 维维亚娜·马斯卡迪 1 阿尔贝托·莫米利亚诺 1 阿德里安·帕拉西奥斯。 1 吉安·卢卡(Gian Luca),披萨 1 苏菲·雷诺 1 法布里西奥·里古齐 全部的 前5名系列 16 计算机基础理论 9 逻辑程序设计理论与实践 4 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 3 逻辑程序设计杂志 2 比特币 2 理论计算机科学 2 计算的形式方面 2 高阶和符号计算 2 计算机科学课堂讲稿 1 信息学报 1 信息处理信件 1 控制工程基础 1 圣母院形式逻辑杂志 1 程序设计语言与系统学报 1 计算机与人工智能 1 并行计算 1 信息处理与控制论杂志 1 逻辑与计算杂志 1 研讨会,柏林洪堡大学,Sektion Mathematik 1 计算机科学本科专题 全部的 前5名领域 106 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 10 总体主题;集合(00-XX) 6 范畴理论;同调代数(18-XX) 2 一般代数系统(08-XX) 2 数论(11-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 结合环与代数(16-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 65出版物有被引用212中的次120文件 引用人▼ 年份▼ 逻辑程序的转换:基础和技术。 Zbl 0942.68528号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 26 1994 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 兹比尔1451.68172 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 13 2018 展开-定义-按此顺序折叠,以避免逻辑程序中不必要的变量。 Zbl 0873.68023号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 10 1995 逻辑程序的转换。 Zbl 0900.68141号 Pettorosi,A。;普罗埃蒂,M。 9 1998 使用展开/折叠证明的逻辑程序的合成和转换。 Zbl 0944.68024号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 1999 通过线性化约束Horn子句来证明命令式程序的正确性。 Zbl 1379.68093号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 2015 从\(O(k^3\logn)\)矩阵乘法方法计算k阶Fibonacci数的\(O(k^2\logn)\)算法的推导。 Zbl 0509.68032号 阿尔贝托·佩特罗西 7 1980 逻辑程序开发和部分演绎的循环吸收和泛化策略。 Zbl 0778.68025号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 6 1993 局部分层约束逻辑程序的转换规则。 Zbl 1080.68010号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2004 用于开发逻辑程序的eureka谓词的合成。 Zbl 0765.68141号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 5 1990 通过Horn子句转换进行关系验证。 Zbl 1394.68227号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 5 2016 无限状态系统验证的推广策略。 Zbl 1267.68080号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 5 2013 弱组合逻辑中的次递归性。 Zbl 0332.02033号 卡洛·巴蒂尼;阿尔贝托·佩特罗西 4 1975 按此顺序展开定义折叠,以避免逻辑程序中不必要的变量。 兹比尔0789.68019 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 4 1991 局部和交互计算的丰富类别。 Zbl 0639.68023号 斯特凡诺·卡桑吉安;安娜·拉布拉;阿尔贝托·佩特罗西 4 1987 通过转换验证条件来验证数组程序。 Zbl 1428.68182号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2014 程序派生\(=\)规则\(+\)策略。 Zbl 1012.68033号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2002 代数数据类型上约束Horn子句的可满足性:基于转换的方法。 Zbl 07486296号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 使用差异谓词从约束Horn子句中删除代数数据类型。 Zbl 07614508号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2020 使用约束处理规则和数组约束泛化进行程序验证。 Zbl 1374.68113号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2017 目标作为参数的逻辑程序的转换规则。 Zbl 0964.68015号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2000 用于程序验证的谓词配对。 兹比尔1478.68153 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2018 汉诺塔问题:通过程序转换推导迭代解。 Zbl 0581.68016号 阿尔贝托·佩特罗西 3 1985 通过展开/折叠变换进行完美的模型检查。 Zbl 0983.68041号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2000 控制基于专业化验证的多元方差。 Zbl 1268.68110号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 3 2013 用于程序派生的lambda抽象策略。 Zbl 0686.68014号 阿尔贝托·佩特罗西;安德烈·斯科伦 3 1989 使用程序转换技术导出评估线性递归关系的非常有效的算法。 Zbl 0474.68008号 A.佩特罗西。;R.M.伯斯托尔。 3 1982 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2022 逻辑程序派生的列表引入策略。 Zbl 1001.68020号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2002 专门化约束逻辑程序的自动化策略。 Zbl 1018.68502号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2001 以目标为参数的逻辑程序的转换。 Zbl 1085.68022号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2004 用于数组操作程序的基于规则的验证策略。 Zbl 1348.68131号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2015 程序推导中的高阶泛化。 Zbl 0614.68009号 阿尔贝托·佩特罗西;安德烈·斯科伦 2 1987 过程合作的分类模型。 Zbl 0618.68023号 拉贝拉,A。;A.佩特罗西。 2 1986 二元序列的一些性质有助于证明Collatz猜想。 Zbl 0547.10006号 雅切克·Błażewicz;阿尔贝托·佩特罗西 2 1983 逻辑程序转换的基于约束的正确性证明。 Zbl 1259.68036号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 2 2012 通过程序转换确定全分支时间逻辑。 Zbl 1284.68413号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2010 项目开发的转型方法。 Zbl 1285.68035号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2010 比较并组合递归路径序、简化序和非升序性质,以证明术语重写系统的终止性。 Zbl 0475.68011号 阿尔贝托·佩特罗西 2 1981 通过专门化改进无限状态系统的可达性分析。 Zbl 1279.68209号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2012 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 谓词配对与抽象用于关系验证。 Zbl 1508.68058号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2018 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 握手通信的分类模型。 Zbl 0584.68072号 安娜·拉布拉;阿尔贝托·佩特罗西 1 1985 通过增加通信来改进并行程序的方法。 Zbl 0585.68027号 阿尔贝托·佩特罗西;安德烈·斯科伦 1 1985 衍生在线程序的转换策略。 Zbl 0589.68010号 阿尔贝托·佩特罗西 1 1986 转换逻辑程序的抽象策略。 Zbl 0788.68026号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 1 1993 用程序变换证明定理。 兹伯利1315.03019 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 1 2013 推导计算动作序列的有效程序。 Zbl 0628.68016号 阿尔贝托·佩特罗西 1 1987 使用lambda抽象进行程序开发。 Zbl 0636.68014号 阿尔贝托·佩特罗西 1 1987 用于软件模型检查的带有约束泛化的专业化。 Zbl 1394.68072号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2013 使用程序转换验证无限状态过程集。 Zbl 1073.68693号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2002 验证无限状态系统的程序专门化:实验评估。 Zbl 1326.68184号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2011 通过基础良好的注释完全正确地进行逻辑程序转换。 Zbl 1194.68095号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2008 在弱组合逻辑和子树替换系统中保证终止的一种性质。 Zbl 0416.03015号 阿尔贝托·佩特罗西 1 1981 关于无限序列计算层次的定义。 Zbl 0419.68077号 阿尔贝托·佩特罗西 1 1979 通过求解方程合成子树重写系统行为。 Zbl 0452.68057号 阿尔贝托·佩特罗西 1 1980 通过消除存在变量来证明约束逻辑程序的属性。 Zbl 1131.68389号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2006 无限列表上逻辑程序的转换。 Zbl 1209.68096号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 1 2010 组合器作为树型传感器。 Zbl 0364.94033号 阿尔贝托·佩特罗西 1 1977 使用答案集编程合成并发程序。 兹比尔1256.68035 伊曼纽尔·德·安吉利斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2012 一种从约束逻辑程序中消除存在变量的折叠算法。 Zbl 1185.68184号 瓦莱里奥·塞尼;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2008 逻辑程序转换的自动正确性证明。 Zbl 1213.68207号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2007 排序程序属性的证明:Horn子句验证中的一个案例研究。 Zbl 1483.68189号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 使用约束Horn子句验证基于变形的契约。 Zbl 07595325号 伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 1 2022 代数数据类型上约束Horn子句的可满足性:基于转换的方法。 Zbl 07486296号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2022 使用约束Horn子句验证基于变形的契约。 Zbl 07595325号 伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 1 2022 使用差异谓词从约束Horn子句中删除代数数据类型。 Zbl 07614508号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2020 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 排序程序属性的证明:Horn子句验证中的一个案例研究。 Zbl 1483.68189号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 兹比尔1451.68172 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 13 2018 用于程序验证的谓词配对。 Zbl 1478.68153号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2018 谓词配对与抽象用于关系验证。 Zbl 1508.68058号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2018 使用约束处理规则和数组约束泛化进行程序验证。 Zbl 1374.68113号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2017 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 通过Horn子句转换进行关系验证。 Zbl 1394.68227号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 5 2016 通过线性化约束Horn子句来证明命令式程序的正确性。 Zbl 1379.68093号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 2015 用于数组操作程序的基于规则的验证策略。 Zbl 1348.68131号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2015 通过转换验证条件来验证数组程序。 Zbl 1428.68182号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2014 无限状态系统验证的推广策略。 Zbl 1267.68080号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 5 2013 控制基于专业化验证的多元方差。 Zbl 1268.68110号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 3 2013 用程序变换证明定理。 兹伯利1315.03019 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2013 用于软件模型检查的带有约束泛化的专业化。 Zbl 1394.68072号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2013 逻辑程序转换的基于约束的正确性证明。 Zbl 1259.68036号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 2 2012 通过专门化改进无限状态系统的可达性分析。 Zbl 1279.68209号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2012 使用答案集编程合成并发程序。 Zbl 1256.68035号 伊曼纽尔·德·安吉利斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2012 验证无限状态系统的程序专门化:实验评估。 Zbl 1326.68184号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2011 通过程序转换确定全分支时间逻辑。 Zbl 1284.68413号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2010 项目开发的转型方法。 Zbl 1285.68035号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2010 无限列表上逻辑程序的转换。 Zbl 1209.68096号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2010 通过基础良好的注释完全正确地进行逻辑程序转换。 Zbl 1194.68095号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2008 一种从约束逻辑程序中消除存在变量的折叠算法。 Zbl 1185.68184号 瓦莱里奥·塞尼;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2008 逻辑程序转换的自动正确性证明。 Zbl 1213.68207号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2007 通过消除存在变量来证明约束逻辑程序的属性。 Zbl 1131.68389号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 1 2006 局部分层约束逻辑程序的转换规则。 Zbl 1080.68010号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2004 以目标为参数的逻辑程序的转换。 Zbl 1085.68022号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2004 程序派生\(=\)规则\(+\)策略。 Zbl 1012.68033号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2002 逻辑程序派生的列表引入策略。 兹比尔1001.68020 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2002 使用程序转换验证无限状态过程集。 Zbl 1073.68693号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2002 专门化约束逻辑程序的自动化策略。 Zbl 1018.68502号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2001 目标作为参数的逻辑程序的转换规则。 Zbl 0964.68015号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2000 通过展开/折叠变换进行完美的模型检查。 Zbl 0983.68041号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 3 2000 使用展开/折叠证明的逻辑程序的合成和转换。 Zbl 0944.68024号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 1999 逻辑程序的转换。 Zbl 0900.68141号 A.佩特罗西。;普罗埃蒂,M。 9 1998 展开-定义-按此顺序折叠,以避免逻辑程序中不必要的变量。 Zbl 0873.68023号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 10 1995 逻辑程序的转换:基础和技术。 Zbl 0942.68528号 阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 26 1994 逻辑程序开发和部分演绎的循环吸收和泛化策略。 Zbl 0778.68025号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 6 1993 转换逻辑程序的抽象策略。 Zbl 0788.68026号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 1 1993 按此顺序展开定义折叠,以避免逻辑程序中不必要的变量。 兹比尔0789.68019 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 4 1991 用于开发逻辑程序的eureka谓词的合成。 Zbl 0765.68141号 毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 5 1990 用于程序派生的lambda抽象策略。 Zbl 0686.68014号 阿尔贝托·佩特罗西;安德烈·斯科伦 3 1989 丰富的局部和交互结石类别。 Zbl 0639.68023号 斯特凡诺·卡桑吉安;安娜·拉布拉;阿尔贝托·佩特罗西 4 1987 程序推导中的高阶泛化。 Zbl 0614.68009号 阿尔贝托·佩特罗西;安德烈·斯科伦 2 1987 推导计算动作序列的有效程序。 Zbl 0628.68016号 阿尔贝托·佩特罗西 1 1987 使用lambda抽象进行程序开发。 Zbl 0636.68014号 阿尔贝托·佩特罗西 1 1987 过程合作的分类模型。 Zbl 0618.68023号 A.拉布拉。;A.佩特罗西。 2 1986 衍生在线程序的转换策略。 Zbl 0589.68010号 阿尔贝托·佩特罗西 1 1986 汉诺塔问题:通过程序转换推导迭代解。 Zbl 0581.68016号 阿尔贝托·佩特罗西 3 1985 握手通信的分类模型。 兹伯利0584.68072 安娜·拉布拉;阿尔贝托·佩特罗西 1 1985 通过增加通信来改进并行程序的方法。 Zbl 0585.68027号 阿尔贝托·佩特罗西;安德烈·斯科伦 1 1985 二元序列的一些性质有助于证明Collatz猜想。 兹伯利0547.10006 雅切克·Błażewicz;阿尔贝托·佩特罗西 2 1983 使用程序转换技术导出评估线性递归关系的非常有效的算法。 Zbl 0474.68008号 A.佩特罗西。;R.M.伯斯托尔。 3 1982 比较并组合递归路径序、简化序和非升序性质,以证明术语重写系统的终止性。 Zbl 0475.68011号 阿尔贝托·佩特罗西 2 1981 在弱组合逻辑和子树替换系统中保证终止的一种性质。 Zbl 0416.03015号 阿尔贝托·佩特罗西 1 1981 从(O(k^3logn)矩阵乘法导出计算阶k斐波那契数的(O(k ^2 logn))算法。 Zbl 0509.68032号 阿尔贝托·佩特罗西 7 1980 通过求解方程合成子树重写系统行为。 Zbl 0452.68057号 阿尔贝托·佩特罗西 1 1980 关于无限序列计算层次的定义。 Zbl 0419.68077号 阿尔贝托·佩特罗西 1 1979 组合器作为树型传感器。 Zbl 0364.94033号 阿尔贝托·佩特罗西 1 1977 弱组合逻辑中的次递归性。 兹伯利0332.02033 卡洛·巴蒂尼;阿尔贝托·佩特罗西 4 1975 所有引用出版物 前5名被引用出版物 全部的 前5名180位作者引用 22 阿尔贝托·佩特罗西 20 毛里齐奥·普罗埃蒂 14 法比奥·菲奥拉万蒂 13 伊曼纽尔·德·安吉利斯 6 约翰·加拉赫(John P.Gallagher)。 4 尔明成 4 直纪小林 4 安娜·拉布拉 4 瓦莱里奥·塞尼 4 德国维达尔 3 格里戈里·费迪尤科维奇 3 比肖克桑·卡夫 3 斯特凡诺·卡桑吉安 3 莫雷诺,吉纳斯 3 佐藤隆介 3 西基、广岛 2 玛丽亚·阿尔普特 2 马可·科米尼 2 德拉本特,Włodzimierz 2 吉登·恩斯特 2 莫雷诺,法拉斯基 2 皮埃尔·甘蒂 2 马诺利斯Gergatsoulis 2 罗伯特·格莱克 2 罗伯塔·戈里 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 乔治·列维 2 莱姆,塞巴斯蒂安 2 马丁·奥列特,纳西索 2 Masanori长岛 2 直纪西田 2 恩里科·蓬泰利 2 鲁宾·鲁比奥 2 菲利普·吕默 2 Masahiko酒井 2 格诺·萨尔泽 2 弗朗西丝卡·托尼 2 温·范霍夫 2 阿尔贝托·维尔德霍 2 贡萨古·耶尔瑙斯 1 Afrati,Foto N。 1 清崎阿卡玛 1 马哈穆杜尔·费萨尔·阿梅恩 1 吉拉尼·阿拉亚 1 佩妮·安德森 1 穆罕默德·贾勒尔·阿蒂亚 1 迈克尔·贝恩(Michael E.Bain)。 1 黛米斯·巴利斯 1 David A.Basin。 1 北本索。 1 阿诺普·巴贾纳什 1 尼古拉·S·比约纳。 1 蒂埃里·博德温 1 德米特里·布朗格 1 贝尔加塞姆·伯拉斯 1 莫里斯·布吕诺格 1 安德烈·塞巴斯蒂安·布鲁安 1 Richard运河 1 Cañete-Valdeón,JoséM。 1 冠军,阿德里安 1 利迪亚·切尔尼戈夫斯卡娅 1 千叶,富古屋 1 魏恩根·钦 1 瑟·特凡·乔巴赫 1 拜伦·库克 1 J.Robert M.科尼什。 1 科雷亚,弗朗西斯科·何塞 1 安德鲁·克洛珀 1 伯纳多·昆卡·格劳 1 马克·达勒姆 1 德迪奥斯·卡斯特罗,哈维尔 1 丹尼·德·施雷耶 1 纳鸿·德肖维茨 1 马里亚纽拉州Dezani-Ciancaglini 1 杜梅内克,杰苏斯·J·。 1 阿戈斯蒂诺·多维尔 1 米雷尔·杜卡斯 1 Jean-Louis Durieux公司 1 史蒂文·艾克 1 伊森,扎弗 1 桑德罗·埃塔利 1 圣保罗费尔南德斯 1 安德烈亚·福米萨诺 1 毛里齐奥·加布里埃利 1 弗朗西斯科·加兰。 1 格雷姆·恒河 1 萨米尔·根奈姆 1 杰里米·吉本斯 1 大卫·格里斯 1 胡安·安东尼奥·格雷罗 1 伊雷纳游击队 1 阿尔蒂·古普塔 1 戈帕尔·古普塔 1 阿里·古芬克尔 1 劳尔·古铁雷斯 1 Masami Hagiya 1 安德烈亚斯·辛兹(Andreas M.Hinz)。 1 侯赛因霍贾特 1 井上,Katsumi 1 雅希尔,埃尔万 …和80多位作者 全部的 前5名31篇连载文章中引用 15 逻辑程序设计理论与实践 11 理论计算机科学 5 信息处理信件 5 自动推理杂志 4 程序设计中的逻辑和代数方法杂志 3 符号计算杂志 3 高阶和符号计算 2 人工智能 2 信息科学 2 纯粹与应用代数杂志 2 RAIRO,Informatique Théorique公司 2 信息与优化科学杂志 2 信息与计算 2 计算的形式方面 2 机器学习 2 系统设计中的形式化方法 1 信息学报 1 应用数学与计算 1 模糊集与系统 1 国际数学与数学科学杂志 1 圣母院形式逻辑杂志 1 软件。实践与经验 1 RAIRO公司。Informatique Théorique et Applications公司 1 应用的分类结构 1 应用非经典逻辑杂志 1 函数编程杂志 1 限制条件 1 机器学习研究杂志 1 代数、数论与应用杂志 1 ACM计算逻辑事务 1 Modelirovanie i Analiz信息系统 全部的 前5名11个领域引用 113 计算机科学(68至XX) 21 数学逻辑和基础(03-XX) 9 数论(11-XX) 5 范畴理论;同调代数(18-XX) 3 数值分析(65-XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 差分和函数方程(39至XX) 1 统计学(62-XX) 1 量子理论(81-XX) 按年份列出的引文