大卫·特罗塔
人员信息
优化列表
2020年–今天
2024 [j5] 萨缪尔·马斯基奥 , 大卫·特罗塔 :
关于蕴涵代数产生的范畴结构:从拓扑到集合。 Ann.纯粹应用。 日志。 175 ( 三 ) : 103390 ( 2024 ) [i7] 菲利波·邦奇 , 亚历山德罗·迪乔治 , 大卫·特罗塔 :
当劳弗尔遇到皮尔士:布尔超学说的等式表示。 CoRR公司 abs/2404.18795 ( 2024 ) 2023 【j4】 托比亚斯·弗里茨 , 法比奥·加杜奇 , 大卫·特罗塔 , 安德烈亚·科拉迪尼 :
从Gs-单体到Oplax-Cartesian范畴:构造和函数完备性。 申请。 分类结构。 31 ( 5 ) : 42 ( 2023 ) [j3] 玛丽亚·艾米莉亚·迈埃蒂 , 大卫·特罗塔 :
广义存在完备的一种表征。 Ann.纯粹应用。 日志。 174 ( 4 ) : 103234 ( 2023 ) [注2] 大卫·特罗塔 , 马泰奥·斯帕代托 , 瓦莱丽亚·德佩瓦 :
通过哥德尔学说的辩证法原则。 理论。 计算。 科学。 947 : 113692 ( 2023 ) 【c5】 托比亚斯·弗里茨 , 法比奥·加杜奇 , 保罗·佩罗内 , 大卫·特罗塔 :
弱马尔可夫范畴与弱仿射单数。 CALCO公司 2023 : 16:1-16:17 【c4】 法比奥·加杜奇 , 安德烈亚·拉雷托 , 大卫·特罗塔 :
用于图转换的线性时间时序逻辑的规范和验证。 国际燃气轮机 2023 : 22-42 [i6] 托比亚斯·弗里茨 , 法比奥·加杜奇 , 保罗·佩罗内 , 大卫·特罗塔 :
弱仿射单子。 CoRR公司 abs/2303.14049 ( 2023 ) [i5] 法比奥·加杜奇 , 安德烈亚·拉雷托 , 大卫·特罗塔 :
用于图形转换的线性时间逻辑的规范和验证。 CoRR公司 abs/2305.03832 ( 2023 ) [i4] 萨缪尔·马斯基奥 , 大卫·特罗塔 :
关于由蕴涵代数产生的范畴结构:从拓扑到集合。 CoRR公司 abs/2306.04534 ( 2023 ) 2022 [j1] 大卫·特罗塔 , 马泰奥·斯帕代托 , 瓦莱丽亚·德佩瓦 :
辩证逻辑原则:不只是规则。 J.日志。 计算。 32 ( 8 ) : 1855-1875 ( 2022 ) 【c3】 法比奥·加杜奇 , 大卫·特罗塔 :
量化时间逻辑的前置语义。 WADT(瓦特) 2022 : 81-99 【c2】 大卫·特罗塔 , 马泰奥·斯帕代托 , 瓦莱丽亚·德佩瓦 :
辩证逻辑原则。 LFCS公司 2022 : 346-363 [i3] 安德烈亚·科拉迪尼 , 法比奥·加杜奇 , 大卫·特罗塔 :
gs-monoid类别的完整性和表达性。 CoRR公司 abs/2205.06892 ( 2022 ) 2021 【c1】 大卫·特罗塔 , 马泰奥·斯帕代托 , 瓦莱丽亚·德佩瓦 :
哥德尔纤维变性。 MFCS公司 2021 : 87:1-87:16 [i2] 法比奥·加杜奇 , 大卫·特罗塔 :
量化时间逻辑的前置语义。 CoRR公司 abs/2111.03855 ( 2021 ) 2020 [i1] 大卫·特罗塔 , 玛格丽塔·佐齐 :
嵌入式语言的组成理论。 CoRR公司 abs/2006.10604 ( 2020 )