停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

阿道夫·皮佩诺

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1908-08636
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1908-08636
丹妮尔·戈拉,伊万诺·萨尔沃,阿道夫·皮佩诺:
事件结构中的冲突与因果关系。快速/SOS 2019:86-101
2018
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wea/Piperno18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wea/Piperno18
阿道夫·皮佩诺:
加权边有向图的同构检验。东南亚 2018:30:1-30:13
2017
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GuerriniBP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GuerriniBP17
斯特凡诺·格雷尼,亨克·巴伦德伦格特,阿道夫·皮佩诺:
用lambda术语计算：Corrado Böhm 90岁生日特刊。数学。结构。计算。科学。 27(5):557-559(2017)
2014
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/McKayP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/McKayP14
布伦丹·D·麦凯,阿道夫·皮佩诺:
实用图同构，II。 J.塞姆。计算。 60:94-112(2014)
2013
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1301-1493
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1301-1493
布伦丹·D·麦凯,阿道夫·皮佩诺:
实用图同构，II。 CoRR公司 abs/1301.1493(2013)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0804-4881
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0804-4881
阿道夫·皮佩诺:
图规范标注中的搜索空间收缩（初版）。 CoRR公司 abs/0804.4881(2008)
2003
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/BucciarelliPS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/BucciarelliPS03
安东尼奥·布恰雷利,阿道夫·皮佩诺,伊万诺·萨尔沃:
交集类型和lambda定义。数学。结构。计算。科学。 13(1):15-53(2003)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/GradelHJP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/GradelHJP03
埃里希·格拉德尔,约瑟夫·哈珀（Joseph Y.Halpern）,拉德哈·贾加迪桑,阿道夫·皮佩诺:
LICS 2001特别版。 ACM事务处理。计算。日志。 4(三):295(2003)
2002
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KennawayKP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KennawayKP02
理查德·肯纳韦,苏拉布·卡西达什维利,阿道夫·皮佩诺:
超平衡lambda-Calculus中β-还原模块的静态分析。区域贸易协定 2002:51岁至65岁
2000
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KhasidashviliP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KhasidashviliP00
苏拉布·卡西达什维利,阿道夫·皮佩诺:
规范化的句法分析。 J.日志。计算。 10(三):381-410(2000)

1990年至1999年

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Piperno99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Piperno99
阿道夫·皮佩诺:
Böhm-Out技术的代数视图。西奥。计算。科学。 212(1-2):233-246(1999)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BucciarelliLPS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BucciarelliLPS99
安东尼奥·布恰雷利,西尔维娅·德·洛伦西斯,阿道夫·皮佩诺,伊万诺·萨尔沃:
交叉点类型的一些计算属性。低收入国家 1999:109-118
1998
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/comgeo/CrescenziPP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/comgeo/CrescenziPP98
Pierluigi Crescenzi公司,保罗·佩纳,阿道夫·皮佩诺:
AVL树的线性区域向上图。计算。地理。 9(1-2):25-42(1998)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siamcomp/Dezani-CiancaglinidP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siamcomp/Dezani-CiancaglinidP98
Mariangiola Dezani-Ciancaglini公司,乌戈·德利古罗,阿道夫·皮佩诺:
并发lambda-Calculus的过滤器模型。 SIAM J.计算。 27(5):1376年-1419年(1998)
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KhasidashviliP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KhasidashviliP98
苏拉布·卡西达什维利,阿道夫·皮佩诺:
超级开发对可输入术语的规范化。 CSL公司 1998:260-282
1996
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Dezani-CiancaglinidP96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Dezani-CiancaglinidP96
Mariangiola Dezani-Ciancaglini公司,乌戈·德利古罗,阿道夫·皮佩诺:
连接-分离lambda-Calculi的过滤器模型。西奥。计算。科学。 170(1-2):第83页至第128页(1996)
1995
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/deLiguoroP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/deLiguoroP95
乌戈·德利古罗,阿道夫·皮佩诺:
非类型Lambda-Calculus的非确定扩张。 Inf.计算。 122(2):149-177(1995)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Piperno95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Piperno95
阿道夫·皮佩诺:
规范化和扩展性（扩展抽象）。低收入国家 1995:300-310
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CosmoP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CosmoP95
罗贝多·迪·科斯莫,阿道夫·皮佩诺:
扩展扩展多态性。薄层色谱分析 1995:139-153
1994
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BohmPG94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BohmPG94
科拉多·伯姆,阿道夫·皮佩诺,斯特凡诺·格雷尼:
Lambda—函数（al）s的正规形式定义。员工持股计划 1994:135-149
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gd/CrescenziP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gd/CrescenziP94
Pierluigi Crescenzi公司,阿道夫·皮佩诺:
AVL树的最佳区域向上图。 GD公司 1994:307至317
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PipernoR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PipernoR94
阿道夫·皮佩诺,西蒙娜·隆奇·德尔拉·罗卡:
类型推理和可拓性。低收入国家 1994:196-205
[c7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Dezani-CiancaglinidP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Dezani-CiancaglinidP94
Mariangiola Dezani-Ciancaglini公司,乌戈·德利古罗,阿道夫·皮佩诺:
并发Lambda-calculus的完全抽象语义。节气门执行器控制系统 1994:16-35
1993
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Dezani-CiancaglinidP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Dezani-CiancaglinidP93
Mariangiola Dezani-Ciancaglini公司,乌戈·德利古罗,阿道夫·皮佩诺:
并行非确定性Lambda-Calculus的滤波模型。 MFCS公司 1993:403-412
1992
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/comgeo/CrescenziBP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/comgeo/CrescenziBP92
Pierluigi Crescenzi公司,朱塞佩·迪·巴蒂斯塔,阿道夫·皮佩诺:
关于二叉树向上绘制的最优面积算法的注记。计算。地理。 2:187-200(1992)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/deLiguoroP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/deLiguoroP92
乌戈·德利古罗,阿道夫·皮佩诺:
必须在非确定非类型Lambda-Calculus中预先订购。 CAAP公司 1992:203-220
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LiguoroPS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LiguoroPS92
乌戈·德利古罗,阿道夫·皮佩诺,理查德·斯塔特曼:
在简单类型的lambda-beta-eta演算中缩进。低收入国家 1992:461-469
1990
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/PipernoT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/PipernoT90
阿道夫·皮佩诺,恩里科·特隆西:
lambda-Calculus中的正则系统。发现的国际期刊。计算。科学。 1(三):325-340(1990)

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1989
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Piperno89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Piperno89
阿道夫·皮佩诺:
组合逻辑中的抽象问题——合成方法。西奥。计算。科学。 66(1):27-43(1989)
1988
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BohmP88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BohmP88
科拉多·伯姆,阿道夫·皮佩诺:
表征λ-β-Omega-Calculus中的X可分离性和单侧可逆性。低收入国家 1988:91-101
1987
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BohmP87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BohmP87
科拉多·伯姆,阿道夫·皮佩诺:
通过弱约简得到有限组合子集的满射性。 CSL公司 1987:27-43
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tapsoft/Piperno87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tapsoft/Piperno87
阿道夫·皮佩诺:
组合逻辑的一种组合抽象算法。 TAPSOFT，第2卷 1987:39-51

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。