停止战争！

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

对于科学家：

默认搜索操作

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

问别人

克劳迪奥·萨塞尔多蒂·科恩

>主页 >珀森斯

人员信息

隶属关系： 意大利博洛尼亚大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

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

2023
[公元53年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/CoenT23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CoenT23
克劳迪奥·萨塞尔多蒂·科恩,里卡多·特雷格里亚:
高阶关系查询的计算Lambda演算的属性。信息通信与通信系统 2023:254-267
[c52]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/账户BC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/AccattoliBC23
贝尼氨基Accattoli,霍勒斯·布兰科,克劳迪奥·萨塞尔多蒂·科恩:
将功能形式化为流程。 ITP公司 2023:5:1-5:21
[c51]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/BernardoLMMRC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/BarnardoLMMRC23
马可·贝尔纳多,伊万·拉内斯,安德烈亚·马林,克劳迪奥·安塔雷斯·梅齐纳,萨宾娜·罗西,克劳迪奥·萨塞尔多蒂·科恩:
因果可逆性意味着时间可逆性。 QEST公司 2023:270-287
[电子9]
- 看法
- 出口记录
  dblp键：
  - conf/mkm/2021周
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2021w
布兰切特,詹姆斯·达文波特,彼得·科普克,Michael Kohlhase公司,安德烈亚·科尔哈斯,亚当·诺莫维奇,丹尼斯·米勒,亚斯敏·沙罗达,克劳迪奥·萨塞尔多蒂·科恩:
2021年7月26日至31日，在罗马尼亚蒂米索拉举行的第十四届智能计算机数学会议（CICM 2021）上，FMM、FVPS、MathUI、NatFoM和OpenMath研讨会的联合会议记录、博士项目和正在进行的工作。 CEUR研讨会记录3377,CEUR-WS.org公司 2023 [目录]
2022
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rc/LamiLSCF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rc/LamiLSCF22
彼得罗·拉米,伊万·拉内斯,珍妮·伯纳德·斯特凡尼,克劳迪奥·萨塞尔多蒂·科恩,乔瓦尼·法布雷蒂:
Erlang中的可逆性：强制性结构。钢筋混凝土 2022:187-203
[电子8]
- 看法
- 出口记录
  dblp键：
  - conf/ictcs/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/2021
克劳迪奥·萨塞尔多蒂·科恩,伊万诺·萨尔沃:
第22届意大利理论计算机科学会议论文集，意大利博洛尼亚，2021年9月13日至15日。 CEUR研讨会记录3072,CEUR-WS.org公司 2022 [目录]
2021
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Accattoli公司CC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AccattoliCC21
贝尼氨基Accattoli,安德烈亚·康多卢奇,克劳迪奥·萨塞尔多蒂·科恩:
强烈的价值诉求是合理的，隐含的。许可证 2021:1-14
[电子7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2021
Fairouz Kamaredine公司,克劳迪奥·萨塞尔多蒂·科恩:
智能计算机数学-第14届国际会议，CICM 2021，罗马尼亚蒂米索拉，2021年7月26日至31日，会议记录。计算机科学课堂讲稿12833,施普林格 2021，国际标准图书编号978-3-030-81096-2 [目录]
[电子6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wflp/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wflp/2020
迈克尔·哈纳斯,克劳迪奥·萨塞尔多蒂·科恩:
功能和约束逻辑编程——第28届国际研讨会，WFLP 2020，意大利博洛尼亚，2020年9月7日，修订论文集。计算机科学课堂讲稿12560,施普林格 2021，国际标准图书编号978-3-030-75332-0 [目录]
[电子5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2101-02835
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-02835
克劳迪奥·萨塞尔多蒂·科恩,Alwen Tiu先生:
《逻辑框架和元语言：理论与实践第十五次研讨会论文集》，《2020年LFMTP》，法国巴黎，2020年6月29日。 EPTCS公司332,2021 [目录]
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2102-06928
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-06928
贝尼氨基Accattoli,安德烈亚·康多卢奇,克劳迪奥·萨塞尔多蒂·科恩:
强烈的价值诉求是合理的，隐含的。 CoRR公司腹肌/2102.06928(2021)
2020
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KohlhaseRCS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KohlhaseRCS20
Michael Kohlhase公司,弗洛里安·拉贝,克劳迪奥·萨塞尔多蒂·科恩,简·弗雷德里克·谢弗:
逻辑框架中的逻辑无关证明搜索（短文）。国际JCAR（1） 2020:395-401
[e4]
- 看法
- 出口记录
  dblp键：
  - conf/mkm/2019w公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2019w
埃德温·C·布雷迪,詹姆斯·达文波特,威廉·M·法默,塞萨里·卡利西克,安德烈亚·科尔哈斯,Michael Kohlhase公司,丹尼斯·米勒,卡罗尔·帕克,克劳迪奥·萨塞尔多蒂·科恩:
2019年7月8日至12日，在捷克共和国布拉格与第十二届智能计算机数学会议（CICM 2019）合办的2019年智能计算机数学大会上，FMM和LML研讨会、博士项目和正在进行的工作的联合会议记录。 CEUR研讨会记录2634,CEUR-WS.org公司 2020 [目录]
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2009-01001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2009-01001
迈克尔·哈努斯,克劳迪奥·萨塞尔多蒂·科恩:
第28届功能和逻辑编程国际研讨会（WFLP 2020）的前期工作。 CoRR公司 abs/2009.01001(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GuidiCT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GuidiCT19
费鲁西奥·吉迪,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
在高阶约束逻辑编程中实现类型理论。数学。结构。计算。科学。 29(8):1125-1150(2019)
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/LaneveCV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/LaneveCV19
科西莫·拉伊夫,克劳迪奥·萨塞尔多蒂·科恩,阿德尔·维切蒂:
智能合约行为预测。从软件工程到正式的方法和工具，然后再回来 2019:397-415
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CondoluciK0RCW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CondoluciK0RCW19
安德烈亚·康多卢奇,Michael Kohlhase公司,丹尼斯·米勒,弗洛里安·拉贝,克劳迪奥·萨塞尔多蒂·科恩,马卡里乌斯·温泽尔:
跨数学库的关系数据。 CICM公司 2019:61-76
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/0001RC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/0001RC19
丹尼斯·米勒,弗洛里安·拉贝,克劳迪奥·萨塞尔多蒂·科恩:
Coq库作为理论图。 CICM公司 2019:171-186
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Coen19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Coen19
克劳迪奥·萨塞尔多蒂·科恩:
将Coq库导出为XML的插件。 CICM公司 2019:243-257
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/AccattoliCGC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/AccattoliCGC19
贝尼氨基Accattoli,安德烈亚·康多卢奇,朱利奥·格雷里,克劳迪奥·萨塞尔多蒂·科恩:
摇摇欲坠的抽象机器。 PPDP（PPDP） 2019:4点-4分15秒
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/CondoluciAC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/CondoluciAC19
安德烈亚·康多卢奇,贝尼氨基Accattoli,克劳迪奥·萨塞尔多蒂·科恩:
共享相等是线性的。 PPDP（PPDP） 2019:9:1-9:14
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/2019年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2019
塞萨里·卡利西克,埃德温·C·布雷迪,安德烈亚·科尔哈斯,克劳迪奥·萨塞尔多蒂·科恩:
2019年7月8日至12日，捷克共和国布拉格，CICM 2019第12届智能计算机数学国际会议，会议记录。计算机科学课堂讲稿11617,施普林格 2019，国际标准图书编号978-3-030-23249-8 [目录]
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-1907-06057
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-06057
贝尼氨基Accattoli,安德烈亚·康多卢奇,朱利奥·格雷里,克劳迪奥·萨塞尔多蒂·科恩:
摇摇欲坠的抽象机器。 CoRR公司 abs/1907.06057(2019)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1907-06101
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-06101
安德烈亚·康多卢奇,贝尼氨基Accattoli,克劳迪奥·萨塞尔多蒂·科恩:
共享相等是线性的。 CoRR公司腹肌/1907.06101(2019)
2018
[公元41年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mkm/FioriC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/FioriC18网址
阿尔贝托·菲奥里,克劳迪奥·萨塞尔多蒂·科恩:
走向两级极简主义基金会在LambdaProlog中的实现（短文）。 CICM研讨会 2018
2017
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/AccattoliC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/AccattoliC17
贝尼氨基Accattoli,克劳迪奥·萨塞尔多蒂·科恩:
关于变量的值。 Inf.计算。 255:224-242(2017)
2016
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mics/GuidiC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mics/GuidiC16
费鲁西奥·吉迪,克劳迪奥·萨塞尔多蒂·科恩:
数学知识检索综述。数学。计算。科学。 10(4):409-427(2016)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfmtp/DunchevCT16文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfmtp/DunchevCT16
Cvetan Dunchev先生,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
用高阶逻辑编程语言实现HOL。 LFMTP公司 2016:4:1-4:10
2015
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Accattoli公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AccattoliC15
贝尼氨基Accattoli,克劳迪奥·萨塞尔多蒂·科恩:
关于火球的相对有用性。许可证 2015:141-155
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DunchevGCT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DunchevGCT15
Cvetan Dunchev先生,费鲁西奥·吉迪,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
ELPI：快速、可嵌入、λProlog解释器。 LPAR公司 2015:460-468
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/GuidiC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/GuidiC15
费鲁西奥·吉迪,克劳迪奥·萨塞尔多蒂·科恩:
数学知识检索综述。 CICM公司 2015:296-315
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/AccattoliC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AccattoliC15
贝尼氨基Accattoli,克劳迪奥·萨塞尔多蒂·科恩:
关于火球的相对有用性。 CoRR公司 abs/1505.03791(2015)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GuidiC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GuidiC15
费鲁西奥·吉迪,克劳迪奥·萨塞尔多蒂·科恩:
数学知识检索综述。 CoRR公司 abs/1505.06646(2015)
2014
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfrea/AspertiRC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfrea/AspertiRC14
安德烈亚·阿斯佩蒂,威尔默·里奇奥蒂,克劳迪奥·萨塞尔多蒂·科恩:
Matita教程。 J.福尔马利兹。原因。 7(2):91-199(2014)
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Boender会议14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BoenderC14
贾普·博恩德,克劳迪奥·萨塞尔多蒂·科恩:
关于分支置换算法的正确性。 TACAS公司 2014:605-619
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Accattoolic14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/AccattoliC14
贝尼氨基Accattoli,克劳迪奥·萨塞尔多蒂·科恩:
关于变量的值。沃尔利克 2014:36-50
2013
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fopara/AmadioABBCGMMMPPRCST13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fopara/AmadioABBCGMMMPPRCST13
罗伯特·阿马迪奥,尼古拉斯·阿亚奇,弗朗索瓦·博博特,贾普·博恩德,布赖恩坎贝尔,伊利亚斯·加尼尔,安托万·马德特,詹姆斯·麦金纳,多米尼克·P·穆利根,毛罗·皮科洛,兰迪·波拉克,亚恩·雷吉斯·贾纳斯,克劳迪奥·萨塞尔多蒂·科恩,伊恩·斯塔克,保罗·特兰基利:
认证复杂性（CerCo）。 FOPARA公司 2013:1-18
2012
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/CoenZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/CoenZ12
克劳迪奥·萨塞尔多蒂·科恩,恩里科·佐利:
毕晓普风格的勒贝格支配收敛定理。 Ann.纯粹应用。日志。 163(2):140-150(2012)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-4905
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-4905
安德烈亚·阿斯佩蒂,威尔默·里奇奥蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
（Co）归纳结构演算的双向精化算法。日志。方法计算。科学。 8(1)(2012)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AspertiRCT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AspertiRCT12
安德里亚·阿斯佩蒂,威尔默·里奇奥蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
Matita交互式定理证明程序中编程语言的形式元理论。 J.自动化。原因。 49(三):427-451(2012)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/MulliganC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/MulliganC12
多米尼克·P·穆利根,克劳迪奥·萨塞尔多蒂·科恩:
英特尔MCS-51微处理器优化汇编程序的正确性。清洁石油产品 2012:43-59
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Al-HassaniMCS12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Al-HassaniMCS12
奥萨马·阿勒·哈萨尼,库拉图尔·艾恩·马沙尔,克劳迪奥·萨塞尔多蒂·科恩,沃尔克·索尔格:
Kuratowski闭包补足问题的术语重写系统。区域贸易协定 2012:38-52
[电子2]
- 看法
- 出口记录
  dblp键：
  - 2010年11月25日
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uitp/2010
大卫·阿斯皮纳尔,克劳迪奥·萨塞尔多蒂·科恩:
2010年7月15日，英国爱丁堡UITP 2010第九届定理证明者用户界面国际研讨会论文集。理论计算机科学电子笔记285中，爱思维尔 2012 [目录]
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1209-5920
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-5920
贾普·博恩德,克劳迪奥·萨塞尔多蒂·科恩:
关于分支位移算法的正确性。 CoRR公司 abs/1209.5920(2012)
2011
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CoenT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CoenT11
克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
Matita中重叠代数的形式化。数学。结构。计算。科学。 21(4):763-793(2011)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AspertiRCT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AspertiRCT11网站
安德烈亚·阿斯佩蒂,威尔默·里奇奥蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
Matita交互式定理证明程序。 CADE公司 2011:64-69
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/RabeKC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/RabeKC11
弗洛里安·拉贝,Michael Kohlhase公司,克劳迪奥·萨塞尔多蒂·科恩:
关于整合问题的基本观点。结石/MKM 2011:107-122
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AspertiMCSV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AspertiMCSV11
安德烈亚·阿斯佩蒂,玛丽亚·艾米莉亚·迈埃蒂,克劳迪奥·萨塞尔多蒂·科恩,乔瓦尼·桑宾,西尔维奥·瓦伦蒂尼:
利用交互式定理证明程序Matita对形式拓扑进行形式化。结石/MKM 2011:278-280
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/媒体/ArmadioAACMPRCS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/procedia/ArmadioAACMPRCS11
R.阿玛迪奥,安德烈亚·阿斯佩蒂,尼古拉斯·阿亚奇,布赖恩坎贝尔,多米尼克·P·穆里根,兰迪·波拉克,亚恩·雷吉斯·贾纳斯,克劳迪奥·萨塞尔多蒂·科恩,伊恩·斯塔克:
经认证的复杂性。场效应晶体管 2011:175-177年
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1105-2725
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1105-2725
弗洛里安·拉贝,Michael Kohlhase公司,克劳迪奥·萨塞尔多蒂·科恩:
关于整合问题的基本观点。 CoRR公司 abs/1105.2725(2011)
2010
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Coen10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Coen10
克劳迪奥·萨塞尔多蒂·科恩:
证明条款的声明性表示。 J.自动化。原因。 44(1-2):25-52(2010)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/AspertiC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/AspertiC10
安德烈亚·阿斯佩蒂,克劳迪奥·萨塞尔多蒂·科恩:
关于交互式验证程序可用性的一些考虑。 AISC/MKM/结石 2010:147-156
[c26]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/CoenV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/CoenV10
克劳迪奥·萨塞尔多蒂·科恩,西尔维奥·瓦伦蒂尼:
一般递归和形式拓扑。 ITP的PAR 2010:72-83
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/CiminiCS10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/CiminiCS10
马泰奥·西米尼,克劳迪奥·萨塞尔多蒂·科恩,戴维德·桑吉奥吉:
作为过程的功能：终止和lm[（m）\tilde]\lambda\mu\widetilde{\mu}-微积分。 TGC公司 2010:73-86
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1012-4899
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1012-4899
克劳迪奥·萨塞尔多蒂·科恩,西尔维奥·瓦伦蒂尼:
一般递归和形式拓扑。标准 2010:65-75
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/AspinallC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/AspinallC12
大卫·阿斯皮纳尔,克劳迪奥·萨塞尔多蒂·科恩:
前言。 UITP（UITP） 2010:1-2
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1010-2604
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1010-2604
安德烈亚·阿斯佩蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
正则表达式，au-point。 CoRR公司 abs/1010.2604(2010)

2000 – 2009

请参阅常见问题解答

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

2009
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CoenT09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CoenT09
克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
Matita的自然演绎环境。结石/MKM 2009:486-491
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/AspertiRCT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/AspertiRCT09
安德烈亚·阿斯佩蒂,威尔默·里奇奥蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
统一的提示。 TPHOL公司 2009:84-98
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1103-3320
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1103-3320
克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
通过统一提示进行非统一强制。类型 2009:16-29
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/2009年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2009
雅克·卡雷特,卢卡斯·狄克逊,克劳迪奥·萨塞尔多蒂·科恩,斯蒂芬·瓦特:
智能计算机数学，第16届学术研讨会，2009年微积分，第8届国际会议，2009年MKM，作为2009年CICM的一部分，于2009年7月6日至12日在加拿大大本德举行。诉讼程序。计算机科学课堂讲稿5625,施普林格 2009，国际标准图书编号978-3-642-02613-3 [目录]
2008
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfrea/CoenT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfrea/CoenT08
克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
交互式定理证明程序Matita中Lebesgue支配收敛定理的构造性和形式化证明。 J.福尔马利兹。原因。 1(1):51-89(2008)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/麦克风/科恩Z08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mics/科恩Z08
克劳迪奥·萨塞尔多蒂·科恩,斯特凡诺·扎奇罗利:
虚假消歧错误及其消除方法。数学。计算。科学。 2(2):355-378(2008)
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Coen09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Coen09
克劳迪奥·萨塞尔多蒂·科恩:
允许模糊公式的数学系统的用户界面。 TPHOL的UITP 2008:67-87
2007
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AspertiCTZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AspertiCTZ07
安德烈亚·阿斯佩蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西,斯特凡诺·扎奇罗利:
与Matita Proof Assistant的用户交互。 J.自动化。原因。 39(2):109-139(2007)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/科恩Z07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CoenZ07网址
克劳迪奥·萨塞尔多蒂·科恩,斯特凡诺·扎奇罗利:
虚假消歧错误检测。结石/MKM 2007:381-392
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/类型/CoenT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/CoenT07
克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
使用类型理论中的数学结构。类型 2007:157-172
2006
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AutexierC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AutexierC06
谢尔盖·奥特谢尔,克劳迪奥·萨塞尔多蒂·科恩:
具有替代证明的OMDoc与lambdaµ-演算之间的形式对应。 MKM公司 2006:67-81
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/AspertiCTZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/AspertiCTZ06
安德烈亚·阿斯佩蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西,斯特凡诺·扎奇罗利:
制作校样助理。类型 2006:18-32
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Ceen07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Coen07网址
克劳迪奥·萨塞尔多蒂·科恩:
（co）归纳结构微积分的约简和转换策略：第一部分。 FLoC下的WRS 2006:97-118
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/CoenTZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CoenTZ07
克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西,斯特凡诺·扎奇罗利:
小猎犬：分步战术。 FLoC下的UITP 2006:125-142
2005
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Coen05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Coen05网站
克劳迪奥·萨塞尔多蒂·科恩:
λ-µµ-术语的自然语言解释。 MKM公司 2005:234-249
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AspertiGLMC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AspertiGLMC05
安德烈亚·阿斯佩蒂,赫尔曼·杰弗斯,艾丽斯·勒布,莱昂内尔·埃利·马曼,克劳迪奥·萨塞尔多蒂·科恩:
带有形式化证明和定义的交互式代数课程。 MKM公司 2005:315-329
2004
【b1】
- 看法
  - 电子版@sbn.it
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/it/Coen04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/it/Coen04
克劳迪奥·萨塞尔多蒂·科恩:
形式数学和交互式定理证明的知识管理。意大利博洛尼亚大学，2004
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/PadovaniCZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/PadovaniCZ04
卢卡·帕多瓦尼,克劳迪奥·萨塞尔多蒂·科恩,斯特凡诺·扎奇罗利:
文档对象模型语言绑定实现的生成方法。 GPCE公司 2004:469-487
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Coen04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mk/Coen04
克劳迪奥·萨塞尔多蒂·科恩:
数学图书馆作为证明辅助环境。 MKM公司 2004:332-346
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/科恩Z04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CoenZ04网址
克劳迪奥·萨塞尔多蒂·科恩,斯特凡诺·扎奇罗利:
数学公式的高效模糊解析。 MKM公司 2004:347-362
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/AspertiGCTZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/AspertiGCTZ04
安德烈亚·阿斯佩蒂,费鲁西奥·吉迪,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西,斯特凡诺·扎奇罗利:
基于内容的数学搜索引擎：Whelp。类型 2004:17-32
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Coen04型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Coen04
克劳迪奥·萨塞尔多蒂·科恩:
（次）等式推理的半灵活策略。类型 2004:98-114
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 网址：conf/www/CoenMV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/www/CoenMV04
克劳迪奥·萨塞尔多蒂·科恩,保罗·马里内利,法比奥·维塔利:
Schemapath，条件约束的xml模式的最小扩展。万维网 2004:164-174
2003
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/AspertiPCGS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/AspertiPCGS03
安德烈亚·阿斯佩蒂,卢卡·帕多瓦尼,克劳迪奥·萨塞尔多蒂·科恩,费鲁西奥·吉迪,艾琳·谢纳:
HELM中的数学知识管理。安。数学。Artif公司。智力。 38(1-3):27-46(2003)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/Coen03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Coen03网址
克劳迪奥·萨塞尔多蒂·科恩:
有序语义Linda演算中随机存取机器编码正确性的构造性证明。信息通信与通信系统 2003:37-57
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Coen03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Coen03网址
克劳迪奥·萨塞尔多蒂·科恩:
从证明助手到分布式数学图书馆：技巧和陷阱。 MKM公司 2003:30-44
2001
【c2】
- 看法
  - 电子版@mulberrytech.com（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/extrem/AspertiPCS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/extreme/AspertiPCS01
安德里亚·阿斯佩蒂,卢卡·帕多瓦尼,克劳迪奥·萨塞尔多蒂·科恩,艾琳·谢纳:
XML、样式表和正式内容的重新主题化。极限标记语言® 2001
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tpol/AspertiPCS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/AspertiPCS01
安德烈亚·阿斯佩蒂,卢卡·帕多瓦尼,克劳迪奥·萨塞尔多蒂·科恩,艾琳·谢纳:
HELM和语义数学网站。 TPHOL公司 2001:59-74

合著者索引

请参阅常见问题解答

服务

管理网站设置

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