×
作者ID: 彼得罗西·阿尔贝托“Pettorossi,Alberto”最近发表的zbMATH文章
发布日期: 阿尔贝托·佩特罗西;A.佩特罗西。
编入索引的文档: 99出版物自1975年以来,包括1本书
作为编辑的10份贡献
审查活动: 74评论
合著者: 31位合著者具有88联合出版物
793合著作者

按年份列出的出版物

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名

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多位作者

按年份列出的引文