伊曼纽尔·基隆斯基
人员信息
优化列表
2020年–今天
2024 [i11] 奥斯卡·菲克 , 伊曼纽尔·基隆斯基 以下为:
统一一维片段中的交替量词,偏移到三变量逻辑中。 CoRR公司 腹肌/2404.03377 ( 2024 ) 2023 [公元31年] 奥斯卡·菲克 , 伊曼纽尔·基隆斯基 以下为:
向可判定性边界的偏移:在二变量和三变量逻辑之间。 LPAR公司 2023 以下为: 205-223 [公元30年] 伊曼纽尔·基隆斯基 以下为:
量词交替的统一一维片段。 甘道夫 2023 以下为: 1-15 2022 [公元10年] 伊曼纽尔·基隆斯基 , Antti Kuusisto公司 以下为:
单词和树上的一维片段。 J.日志。 计算。 32 ( 5 ) 以下为: 902-941 ( 2022 ) [公元29年] 巴托斯·贝德纳奇克 , 伊曼纽尔·基隆斯基 以下为:
描述逻辑Z族中局部查询的有限蕴涵。 AAAI公司 2022 以下为: 5487-5494 2021 [公元9年] 巴托斯·贝德纳奇克 , 伊曼纽尔·基隆斯基 , 彼得·维特科夫斯基 以下为:
完成图片:匡威分级模态逻辑的复杂性。 理论与实践。 日志。 程序。 21 ( 4 ) 以下为: 493-520 ( 2021 ) [公元28年] 巴托斯·贝德纳奇克 , 伊曼纽尔·基隆斯基 以下为:
描述逻辑Z族中连接查询的有限可控性(扩展抽象)。 描述逻辑 2021 [公元27年] 伊曼纽尔·基隆斯基 , 塞巴斯蒂安·鲁道夫 以下为:
三元碎片有限模型理论及相关逻辑(扩展抽象)。 描述逻辑 2021 [公元26年] 伊曼纽尔·基隆斯基 , 塞巴斯蒂安·鲁道夫 以下为:
三重碎片有限模型理论及相关逻辑。 许可证 2021 以下为: 1-13 [i10] 伊曼纽尔·基隆斯基 , 塞巴斯蒂安·鲁道夫 以下为:
三重碎片有限模型理论及相关逻辑。 CoRR公司 abs/2101.08377 ( 2021 ) [第九章] 伊曼纽尔·基隆斯基 , Antti Kuusisto公司 以下为:
单词和树上的一维碎片。 CoRR公司 abs/2110.02678 ( 2021 ) 2020 [c25] 伊曼纽尔·基隆斯基 , 亚当·马林诺夫斯基 以下为:
具有传递性的三角形片段。 LPAR公司 2020 以下为: 334-353
2010 – 2019
2019 [公元24年] 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基隆斯基 以下为:
具有传递性的一元否定片断的有限可满足性(扩展抽象)。 描述逻辑 2019 【c23】 巴托斯·贝德纳奇克 , 伊曼纽尔·基隆斯基 , 彼得·维特科夫斯基 以下为:
带逆的分级模态逻辑的复杂性。 杰莉亚 2019 以下为: 642-658 [公元22年] 伊曼纽尔·基隆斯基 以下为:
一维防护碎片。 MFCS公司 2019 以下为: 16:1-16:14 【c21】 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基隆斯基 以下为:
具有传递性的一元否定片断的有限可满足性。 MFCS公司 2019 以下为: 17:1至17:15 [i8] 伊曼纽尔·基隆斯基 以下为:
一维防护碎片。 CoRR公司 abs/1904.04572 ( 2019 ) 2018 [j8] 伊曼纽尔·基隆斯基 , 伊恩·普拉特·哈特曼 , 丽迪娅·坦德拉 以下为:
具有计数和语义约束的双变量逻辑。 ACM SIGLOG新闻 5 ( 三 ) 以下为: 22日至43日 ( 2018 ) [j7] 伊曼纽尔·基隆斯基 , 丽迪娅·坦德拉 以下为:
具有传递保护和相关变量的二元保护碎片的有限可满足性。 ACM事务处理。 计算。 日志。 19 ( 2 ) 以下为: 8:1-8:34 ( 2018 ) [公元20年] 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基隆斯基 以下为:
具有等价关系的一元否定片断具有有限模型性质。 许可证 2018 以下为: 285-294 [i7] 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基隆斯基 以下为:
具有等价关系的一元否定片断具有有限模型性质。 CoRR公司 abs/1802.01318 ( 2018 ) [i6] 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基隆斯基 以下为:
具有传递性的一元否定片断的有限可满足性。 CoRR公司 abs/1809.03245 ( 2018 ) [i5] 巴托斯·贝德纳奇克 , 伊曼纽尔·基隆斯基 , 彼得·维特科夫斯基 以下为:
带逆的分级模态逻辑的复杂性。 CoRR公司 abs/1812.04413 ( 2018 ) 2017 [j6] 伊曼纽尔·基隆斯基 , 伊恩·普拉特·哈特曼 , 丽迪娅·坦德拉 以下为:
双变量保护片段中的等价闭包。 J.日志。 计算。 27 ( 4 ) 以下为: 999-1021 ( 2017 ) [第19条] 巴托斯·贝德纳奇克 , 维托尔德·查拉托尼克 , 伊曼纽尔·基隆斯基 以下为:
在树上扩展双变量逻辑。 CSL公司 2017 以下为: 11:1-11:20 [第18条] 伊曼纽尔·基隆斯基 , Antti Kuusisto公司 以下为:
树上的一维逻辑。 MFCS公司 2017 以下为: 64:1-64:13 2016 [j5] 萨古·本奈姆 , 本尼迪克特 , 维托尔德·查拉托尼克 , 伊曼纽尔·基隆斯基 , 拉斯蒂斯拉夫·伦哈特 , 菲利普·马佐维耶基 , 詹姆斯·沃雷尔 以下为:
有限树上二元逻辑的复杂性。 ACM事务处理。 计算。 日志。 17 ( 4 ) 以下为: 32 ( 2016 ) [第17条] 伊曼纽尔·基隆斯基 以下为:
单词上的一维逻辑。 CSL公司 2016 以下为: 38:1-38:15 [i4] 巴托斯·贝德纳奇克 , 维托尔德·查拉托尼克 , 伊曼纽尔·基隆斯基 以下为:
在树上扩展双变量逻辑。 CoRR公司 abs/1611.02112 ( 2016 ) [i3] 伊曼纽尔·基隆斯基 , 丽迪娅·坦德拉 以下为:
具有传递保护和相关变量的二元保护碎片的有限可满足性。 CoRR公司 abs/1611.03267 ( 2016 ) 2015 【j4】 雅库布·米查利辛 , 扬·奥托普 , 伊曼纽尔·基隆斯基 以下为:
初等模态逻辑的可判定性。 ACM事务处理。 计算。 日志。 17 ( 1 ) 以下为: 2 ( 2015 ) [第16条] 伊曼纽尔·基隆斯基 , Antti Kuusisto公司 以下为:
具有一个等价关系的统一一维片段。 CSL公司 2015 以下为: 597-615 2014 [j3] 伊曼纽尔·基隆斯基 , 雅库布·米查利辛 , 伊恩·普拉特·哈特曼 , 丽迪娅·坦德拉 以下为:
具有等价闭包的二变量一阶逻辑。 SIAM J.计算。 43 ( 三 ) 以下为: 1012年至1063年 ( 2014 ) [第15条] 维托尔德·查拉托尼克 , 伊曼纽尔·基隆斯基 , 菲利普·马佐维耶基 以下为:
具有确定性传递闭包的弱逻辑的可判定性。 CSL-LICS公司 2014 以下为: 29:1-29:10 [第14条] 伊曼纽尔·基隆斯基 , Antti Kuusisto公司 以下为:
具有等式的统一一维片段的复杂性和表达性。 多功能控制系统(1) 2014 以下为: 365-376 [i2] 伊曼纽尔·基隆斯基 , Antti Kuusisto公司 以下为:
具有等式的统一一维片段的复杂性和表达性。 CoRR公司 abs/1409.0731 ( 2014 ) 2013 [第13条] 萨古·本奈姆 , 本尼迪克特 , 维托尔德·查拉托尼克 , 伊曼纽尔·基隆斯基 , 拉斯蒂斯拉夫·伦哈特 , 菲利普·马佐维耶基 , 詹姆斯·沃雷尔 以下为:
有限树上二元逻辑的复杂性。 ICALP(二) 2013 以下为: 74-88 [i1] 维托尔德·查拉托尼克 , 伊曼纽尔·基隆斯基 , 菲利普·马佐维耶基 以下为:
树上一阶逻辑二元分段的可满足性。 CoRR公司 abs/1304.7204 ( 2013 ) 2012 [注2] 伊曼纽尔·基隆斯基 , 马丁·奥托 以下为:
具有两个变量的一阶逻辑的小子结构和可判定性问题。 J.塞姆。 日志。 77 ( 三 ) 以下为: 729-765 ( 2012 ) [第12条] 雅库布·米查利辛 , 伊曼纽尔·基隆斯基 以下为:
Horn~可定义框架类上模态逻辑的有限可满足性。 模态逻辑的进展 2012 以下为: 464-482 [第11条] 伊曼纽尔·基隆斯基 , 雅库布·米查利辛 以下为:
具有传递闭包的二元通用逻辑。 CSL公司 2012 以下为: 396-410 [第10条] 伊曼纽尔·基隆斯基 , 雅库布·米查利辛 , 伊恩·普拉特·哈特曼 , 丽迪娅·坦德拉 以下为:
具有等价闭包的二变量一阶逻辑。 许可证 2012 以下为: 431-440 2011 【c9】 伊曼纽尔·基隆斯基 以下为:
多线性阶二元逻辑的可判定性问题。 CSL公司 2011 以下为: 337-351 【c8】 伊曼纽尔·基隆斯基 , 雅库布·米查利辛 , 扬·奥托普 以下为:
通用三变量公式定义的模态逻辑。 FSTTCS公司 2011 以下为: 264-275 2010 【c7】 杰里·马尔辛科夫斯基(Jerzy Marcinkowski) , 雅库布·米查利辛 , 伊曼纽尔·基隆斯基 以下为:
B和D足以使Halpern-Shoham逻辑无法解释。 ICALP(二) 2010 以下为: 357-368
2000 – 2009
2009 【c6】 伊曼纽尔·基隆斯基 , 丽迪娅·坦德拉 以下为:
具有等价关系的二元一阶逻辑的有限可满足性。 许可证 2009 以下为: 123-132 2007 【c5】 伊曼纽尔·基隆斯基 , 丽迪娅·坦德拉 以下为:
具有等价或传递保护的保护碎片的有限可满足性。 LPAR公司 2007 以下为: 318-332 2006 [j1] 伊曼纽尔·基隆斯基 以下为:
关于具有传递保护的二元保护碎片的复杂性。 Inf.计算。 204 ( 11 ) 以下为: 1663-1703 ( 2006 ) 2005 【c4】 伊曼纽尔·基隆斯基 以下为:
关于具有等价关系或传递关系的保护片段的结果。 CSL公司 2005 以下为: 309-324 【c3】 伊曼纽尔·基隆斯基 , 马丁·奥托 以下为:
二元一阶逻辑的小子结构与判定问题。 许可证 2005 以下为: 448-457 2003 【c2】 伊曼纽尔·基隆斯基 以下为:
带有过渡防护的双变量防护碎片是2EXPTIME-Hard。 FoSSaCS公司 2003 以下为: 299-312 2002 【c1】 伊曼纽尔·基隆斯基 以下为:
EXPSPACE——具有传递性的保护片段的完整变体。 堆栈 2002 以下为: 608-619