安德烈亚·康多卢奇
人员信息
优化列表
2020年-今天
2021 【c5】 贝尼氨基Accattoli , 安德烈亚·康多卢奇 , 克劳迪奥·萨塞尔多蒂·科恩 :
强烈的价值诉求是合理的,隐含的。 许可证 2021 : 1-14 [i4] 贝尼氨基Accattoli , 安德烈亚·康多卢奇 , 克劳迪奥·萨塞尔多蒂·科恩 :
强烈的价值诉求是合理的,隐含的。 CoRR公司 腹肌/2102.06928 ( 2021 )
2010 – 2019
2019 【c4】 安德烈亚·康多卢奇 , Michael Kohlhase公司 , 丹尼斯·米勒 , 弗洛里安·拉贝 , 克劳迪奥·萨塞尔多蒂·科恩 , 马卡里乌斯·温泽尔 :
跨数学库的关系数据。 CICM公司 2019 : 61-76 【c3】 贝尼氨基Accattoli , 安德烈亚·康多卢奇 , 朱利奥·格雷里 , 克劳迪奥·萨塞尔多蒂·科恩 :
摇摇欲坠的抽象机器。 PPDP(PPDP) 2019 : 4点-4分15秒 【c2】 安德烈亚·康多卢奇 , 贝尼氨基Accattoli , 克劳迪奥·萨塞尔多蒂·科恩 :
共享相等是线性的。 PPDP(PPDP) 2019 : 9:1-9:14 [i3] 贝尼氨基Accattoli , 安德烈亚·康多卢奇 , 朱利奥·格雷里 , 克劳迪奥·萨塞尔多蒂·科恩 :
摇摇欲坠的抽象机器。 CoRR公司 abs/1907.06057 ( 2019 ) [i2] 安德烈亚·康多卢奇 , 贝尼氨基Accattoli , 克劳迪奥·萨塞尔多蒂·科恩 :
共享相等是线性的。 CoRR公司 腹肌/1907.06101 ( 2019 ) 2018 【c1】 安德烈亚·康多卢奇 , 马蒂奥·曼尼赫蒂(Matteo Manighetti) :
直觉主义逻辑厨房中可接受的工具。 CL&C公司 2018 : 10-23 2017 [i1] 安德烈亚·康多卢奇 :
命题证明图式中的CERES。 CoRR公司 abs/1701.05251 ( 2017 )