托马斯广场
人员信息
其他同名人员
SPARQL查询
优化列表
2020年–今天
2024 [公元29年] 托马斯广场 , 马克·泽顿 :
广义一元时态逻辑和二元一阶逻辑的一般特征。 CSL公司 2024 : 45:1-45:23 [公元28年] 托马斯广场 , 马克·泽顿 :
点深度三,J级回归。 低收入国家 2024 : 64:1-64:15 [i26] 托马斯广场 , 马克·泽顿 :
点深三,返回J类。 CoRR公司 abs/2401.16195 ( 2024 ) [i25] 托马斯广场 , 马克·泽顿 :
常规语言的时间层次结构。 CoRR公司 abs/2402.10080 ( 2024 ) 2023 [公元14年] 托马斯广场 , 马克·泽顿 :
关于明确的多项式闭包。 理论CS 2 ( 2023 ) [公元27年] 托马斯广场 , 马克·泽顿 :
集团分离反击。 低收入国家 2023 : 1-13 【i24】 托马斯广场 , 马克·泽顿 :
广义一元时态逻辑和二元一阶逻辑的一般特征。 CoRR公司 abs/2307.09349 ( 2023 ) [第23条] 托马斯广场 , 马克·泽顿 :
关闭无星形封口。 CoRR公司 abs/2307.09376 ( 2023 ) 2022 [公元26年] 托马斯广场 , 马克·泽顿 :
描述基于组的级联层次结构中的第一级特征。 企业社会责任 2022 : 320-337 [公元25年] 托马斯广场 , 马克·泽顿 :
无量词交替的一阶逻辑分离的一般多项式时间方法。 FSTTCS公司 2022 : 43:1-43:22 [公元24年] 托马斯广场 , 马克·泽顿 :
在一元时态逻辑中,你需要回到未来多少次? 拉丁语 2022 : 409-425 【c23】 托马斯广场 :
惊人的混合多项式闭包及其在二变量一阶逻辑中的应用。 低收入国家 2022 : 14:1-14:14 [i22] 托马斯广场 , 马克·泽图恩 :
描述基于组的级联层次结构中的第一级特征。 CoRR公司 abs/2201.06826 ( 2022 ) 【i21】 托马斯广场 :
惊人的混合多项式闭包及其在二变量一阶逻辑中的应用。 CoRR公司 abs/2202.03989 ( 2022 ) [i20] 托马斯广场 , 马克·泽顿 :
集团分离反击。 CoRR公司 腹肌/2205.01632 ( 2022 ) [i19] 托马斯广场 , 马克·泽顿 :
明确的多项式闭包解释。 CoRR公司 abs/2205.12703 ( 2022 ) [i18] 托马斯广场 , 马克·泽顿 :
无量词交替的一阶逻辑分离的通用多项式时间方法。 CoRR公司 abs/2210.00946 ( 2022 ) 2021 [j13] 托马斯广场 , 马克·泽顿 :
点深二的分隔。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) 2020 [公元12年] 托马斯广场 , 马克·泽顿 :
添加后继:分离和覆盖的传递定理。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 9:1-9:45 ( 2020 ) [公元22年] 托马斯广场 :
确定正则语言的类:覆盖方法。 拉丁美洲旅游协会 2020 : 89-112
2010 – 2019
2019 [公元11年] 托马斯广场 , 马克·泽顿 :
单词上的一阶量词交替层次结构越来越高。 美国临床医学杂志 66 ( 2 ) : 12:1-12:65 ( 2019 ) [公元10年] 托马斯广场 , 瓦伦·拉马纳森 , 帕斯卡·韦尔 :
用模块化谓词覆盖和分离逻辑片段。 日志。 方法计算。 科学。 15 ( 2 ) ( 2019 ) [公元9年] 米科拉伊·博扬奇克 , 菲利波·卡瓦拉里 , 托马斯广场 , 米歇尔·斯科齐普扎克 :
低级Wadge Hierarchy中的常规树语言。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) [j8] 托马斯广场 , 马克·泽顿 :
级联层次结构的一般结果。 理论计算。 系统。 63 ( 4 ) : 849-901 ( 2019 ) 【c21】 托马斯广场 , 马克·泽顿 :
在所有事情上都是免费的。 ICALP公司 2019 : 126:1-126:14 [公元20年] 托马斯广场 , 马克·泽顿 :
基于组的级联层次结构的分离和覆盖。 低收入国家 2019 : 1-13 [i17] 托马斯广场 , 马克·泽图恩 :
点深二的分隔。 CoRR公司 abs/1901.03361 ( 2019 ) [i16] 托马斯广场 , 马克·泽顿 :
基于组的级联层次结构的分离和覆盖。 CoRR公司 abs/1902.04957 ( 2019 ) 【i15】 托马斯广场 , 马克·泽顿 :
一切都是无星的。 CoRR公司 abs/1904.11863 ( 2019 ) 2018 [j7] 托马斯广场 , 马克·泽图恩 :
掩盖问题。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [j6] 托马斯广场 :
用两个量词交替分隔正规语言。 日志。 方法计算。 科学。 14 ( 4 ) ( 2018 ) [第19条] 托马斯广场 , 马克·泽顿 :
级联层次结构中级别分离的复杂性。 FSTTCS公司 2018 : 47:1-47:17 [第18条] 托马斯广场 , 马克·泽顿 :
没有任何歧义的分离。 ICALP公司 2018 : 137:1-137:14 [第14条] 托马斯广场 , 马克·泽顿 :
Pol(C)的一般特征。 CoRR公司 abs/1802.06141 ( 2018 ) [i13] 托马斯广场 , 瓦伦·拉马纳桑 , 帕斯卡·韦尔 :
用模块化谓词覆盖和分离逻辑片段。 CoRR公司 abs/1804.08883 ( 2018 ) [i12] 米科拉伊·博扬奇克 , 菲利波·卡瓦拉里 , 托马斯广场 , Michal Skrzypczak :
低级Wadge Hierarchy中的常规树语言。 CoRR公司 abs/1806.02041 ( 2018 ) [i11] 托马斯广场 , 马克·泽顿 :
级联层次结构中级别分离的复杂性。 CoRR公司 abs/1810.09287 ( 2018 ) 2017 [第17条] 托马斯广场 , 马克·泽顿 :
串联层次结构:新瓶装,老酒。 企业社会责任 2017 : 25-37 [第16条] 托马斯广场 , 马克·泽顿 :
点深二的分隔。 低收入国家 2017 : 1-12 [i10] 托马斯广场 :
用两个量词交替分隔正规语言。 CoRR公司 abs/1707.03295 ( 2017 ) [第九章] 托马斯广场 , 马克·泽顿 :
掩盖问题。 CoRR公司 abs/1707.03370 ( 2017 ) [i8] 托马斯广场 , 马克·泽顿 :
单词上的一阶量词交替层次结构越来越高。 CoRR公司 abs/1707.05696 ( 2017 ) [i7] 托马斯广场 , 马克·泽顿 :
添加后继项:分离和覆盖的转移定理。 CoRR公司 abs/1709.10052 ( 2017 ) [i6] 托马斯广场 , 马克·泽顿 :
级联层次结构的一般结果。 CoRR公司 abs/1710.04313 ( 2017 ) 2016 [j5] 托马斯广场 , 马克·泽顿 :
将正则语言与一阶逻辑分离。 日志。 方法计算。 科学。 12 ( 1 ) ( 2016 ) [第15条] 塞奥·皮耶伦 , 托马斯广场 , 马克·泽顿 :
无限词的量词交替。 FoSSaCS公司 2016 : 234-251 [第14条] 托马斯广场 , 马克·泽顿 :
覆盖问题:研究逻辑表达能力的统一方法。 MFCS公司 2016 : 77:1-77:15 [i5] 托马斯广场 , 吕克·塞古芬 :
FO2(<,+1)的可判定特征和DA的位置。 CoRR公司 abs/1606.03217 ( 2016 ) 2015 【j4】 托马斯广场 , 吕克·塞古芬 :
确定树上FO2(<h,<v)的可定义性。 日志。 方法计算。 科学。 11 ( 三 ) ( 2015 ) [j3] 托马斯广场 , 马克·泽顿 :
量词交替的故事一级逻辑对单词的层次结构。 ACM SIGLOG新闻 2 ( 三 ) : 4-17 ( 2015 ) [第13条] 托马斯广场 :
用两个量词交替分隔正则语言。 低收入国家 2015 : 202-213 [第12条] 托马斯广场 , 马克·泽顿 :
分离与继承关系。 STACS公司 2015 : 662-675 [i4] 托马斯广场 , 马克·泽图恩 :
分离问题的传递定理。 CoRR公司 abs/1501.00569 ( 2015 ) [i3] 塞奥·皮耶伦 , 托马斯广场 , 马克·泽顿 :
无限单词的量词交替。 CoRR公司 abs/1511.09011 ( 2015 ) 2014 [注2] 托马斯广场 , 洛里恩·范·罗伊扬(Lorijn van Rooijen) , 马克·泽顿 :
通过本地可测试语言和本地阈值可测试语言分离正则语言。 日志。 方法计算。 科学。 10 ( 三 ) ( 2014 ) [第11条] 托马斯广场 , 马克·泽顿 :
将正则语言与一阶逻辑分离。 CSL-LICS公司 2014 : 75:1-75:10 [第10条] 托马斯广场 , 马克·泽顿 :
在单词的一阶量词交替层次中更高。 伊拉克石油公司(2) 2014 : 342-353 [i2] 托马斯广场 , 马克·泽顿 :
在单词的一阶量词交替层次结构中更高。 CoRR公司 abs/1404.6832 ( 2014 ) 2013 【c9】 托马斯广场 , 洛里恩·范·罗伊扬(Lorijn van Rooijen) , 马克·泽顿 :
通过本地可测试语言和本地阈值可测试语言分离正则语言。 FSTTCS公司 2013 : 363-375 【c8】 托马斯广场 , 洛里恩·范·罗伊扬(Lorijn van Rooijen) , 马克·泽顿 :
用分段可测试语言和无歧义语言分离正则语言。 MFCS公司 2013 : 729-740 [i1] 托马斯广场 , 洛里恩·范·罗伊扬(Lorijn van Rooijen) , 马克·泽顿 :
用分段可测试和明确的语言分离正则语言。 CoRR公司 abs/1304.6734 ( 2013 ) 2012 [c7] 米科拉伊·博扬奇克 , 托马斯广场 :
无限树的正则语言是开放集的布尔组合。 伊拉克石油公司(2) 2012 : 104-115 【c6】 米科拉伊·博扬奇克 , 托马斯广场 :
走向具有数据值的模型理论。 伊拉克石油公司(2) 2012 : 116-127 2011 [j1] 托马斯广场 , 吕克·塞古芬 :
局部可测试树语言的可判定特征。 日志。 方法计算。 科学。 7 ( 4 ) ( 2011 ) 2010 【b1】 托马斯广场 :
树逻辑的可判定特征。 (巴尔布雷斯河畔逻辑保护区)。 法国卡尚正常供应, 2010 【c5】 托马斯广场 , 吕克·塞古芬 :
确定FO中的可定义性 2 树上的(<)(或XPath)。 低收入国家 2010 : 253-262 【c4】 加列·丰丹 , 托马斯广场 :
中树类的框架定义 µ -微积分。 MFCS公司 2010 : 381-392
2000 – 2009
2009 【c3】 托马斯广场 , 吕克·塞古芬 :
局部可测试树语言的可判定特征。 伊拉克石油公司(2) 2009 : 285-296 2008 【c2】 托马斯广场 :
秩树语言上逻辑的特征。 CSL公司 2008 : 401-415 2000 【c1】 托马斯广场 , Jeroen Hoppenbrouwers公司 :
解码:全球分布式库的统一访问。 ECDL公司 2000 : 467-470