卢卡·雷吉奥
人员信息
隶属关系: 英国伦敦大学学院
优化列表
2020年-今天
2024 [j7] 萨姆森·阿布拉姆斯基 , 卢卡·雷乔 :
树范畴和等源同态保持定理。 Ann.纯粹应用。 日志。 175 ( 6 ) : 103423 ( 2024 ) 2023 [j6] 乔治·梅特卡夫 , 卢卡·雷吉奥 :
泛代数类的模型完备:充要条件。 J.塞姆。 日志。 88 ( 1 ) : 381-417 ( 2023 ) [j5] 萨姆森·阿布拉姆斯基 , 卢卡·雷吉奥 :
树木分类:资源公理化理论。 日志。 方法计算。 科学。 19 ( 三 ) ( 2023 ) [第九章] 卢卡·雷吉奥 , 科林·里巴 :
有限的树木附属物和欣提卡公式。 CoRR公司 abs/2304.12709 ( 2023 ) 2022 【j4】 迈·盖尔克 , 托马斯·雅克 , 卢卡·雷吉奥 :
有限结构极限的对偶理论观点:扩展版。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) 2021 [j3] 卢卡·雷吉奥 :
Beth可定义性和Stone-Weierstrass定理。 Ann.纯粹应用。 日志。 172 ( 8 ) : 102990 ( 2021 ) 【c5】 萨姆森·阿布拉姆斯基 , 卢卡·雷吉奥 :
树木种类和资源。 ICALP公司 2021 : 115:1-115:20 【c4】 阿努杰·达瓦尔 , 托马斯·雅克 , 卢卡·雷吉奥 :
Lovász型定理和游戏共鸣曲。 许可证 2021 : 1月13日 [i8] 萨姆森·阿布拉姆斯基 , 卢卡·雷吉奥 :
树木分类:资源公理化理论。 CoRR公司 abs/2102.08109 ( 2021 ) [i7] 阿努杰·达瓦尔 , 托马斯·雅克 , 卢卡·雷吉奥 :
Lovász型定理和游戏共鸣曲。 CoRR公司 abs/2105.03274 ( 2021 ) [i6] 卢卡·雷吉奥 :
多元集与同态计数。 CoRR公司 abs/2110.11061 ( 2021 ) 2020 [注2] 马可·阿巴迪尼 , 卢卡·雷吉奥 :
紧序空间对偶的公理化性。 申请。 分类结构。 28 ( 6 ) : 921-934 ( 2020 ) [j1] 迈·盖尔克 , 丹妮拉·佩特里桑 , 卢卡·雷吉奥 :
语言和代码单数上的量词。 数学。 结构。 计算。 科学。 30 ( 10 ) : 1054-1088 ( 2020 ) 【c3】 迈·盖尔克 , 托马斯·雅克 , 卢卡·雷吉奥 :
有限结构极限的对偶理论观点。 FoSSaCS公司 2020 : 299-318 [i5] 迈·盖尔克 , 托马斯·雅克 , 卢卡·雷吉奥 :
库克的逻辑二元性之旅:从量词到维多利斯,再到度量。 CoRR公司 abs/2007.15415 ( 2020 ) [i4] 迈·盖尔克 , 托马斯·雅克 , 卢卡·雷吉奥 :
有限结构极限的对偶理论观点:扩展版。 CoRR公司 abs/2012.09975 ( 2020 )
2010 – 2019
2019 [i3] 迈·盖尔克 , 托马斯·雅克 , 卢卡·雷吉奥 :
有限结构极限的对偶理论观点。 CoRR公司 abs/1907.04036 ( 2019 ) 2018 【b1】 卢卡·雷吉奥 :
量词和对偶性。 (数量学家和二元论)。 法国巴黎索邦大学, 2018 2017 【c2】 迈·盖尔克 , 丹妮拉·佩特里桑 , 卢卡·雷吉奥 :
语言和代码单数上的量词。 许可证 2017 : 1-12 [i2] 迈·盖尔克 , 丹妮拉·佩特里桑 , 卢卡·雷吉奥 :
语言和代码单数上的量词。 CoRR公司 abs/1702.08841 ( 2017 ) 2016 【c1】 迈·盖尔克 , 丹妮拉·佩特里桑 , 卢卡·雷吉奥 :
句法空间的Schützenberger乘积。 ICALP公司 2016 : 112:1-112:14 [i1] 迈·盖尔克 , 丹妮拉·佩特里桑 , 卢卡·雷吉奥 :
句法空间的Schützenberger乘积。 CoRR公司 abs/1603.08264 ( 2016 )