伊曼纽尔·基伦斯基
人员信息
优化列表
2020年–今天
2024 [i11] 奥斯卡·菲克 , 伊曼纽尔·基伦斯基 :
统一一维片段中的交替量词,偏移到三变量逻辑中。 CoRR公司 abs/2404.03377 ( 2024 ) 2023 [公元31年] 奥斯卡·菲克 , 伊曼纽尔·基伦斯基 :
向可判定性边界的偏移:在二变量和三变量逻辑之间。 LPAR公司 2023 : 205-223 [公元30年] 伊曼纽尔·基伦斯基 :
量词交替的统一一维片段。 甘道夫 2023 : 1-15 2022 [公元10年] 伊曼纽尔·基隆斯基 , 安蒂·库西斯托 :
单词和树上的一维片段。 J.日志。 计算。 32 ( 5 ) : 902-941 ( 2022 ) [公元29年] 巴托斯·贝德纳奇克 , 伊曼纽尔·基伦斯基 :
描述逻辑Z族中局部查询的有限蕴涵。 AAAI公司 2022 : 5487-5494 2021 [公元9年] 巴托斯·贝德纳奇克 , 伊曼纽尔·基伦斯基 , 彼得·维特科夫斯基 :
完成图片:匡威分级模态逻辑的复杂性。 理论与实践。 日志。 程序。 21 ( 4 ) : 493-520 ( 2021 ) [c28] 巴托什·贝德纳尔奇克 , 伊曼纽尔·基伦斯基 :
描述逻辑Z族中连接查询的有限可控性(扩展抽象)。 描述逻辑 2021 [公元27年] 伊曼纽尔·基伦斯基 , 塞巴斯蒂安·鲁道夫 :
三元碎片有限模型理论及相关逻辑(扩展抽象)。 描述逻辑 2021 [公元26年] 伊曼纽尔·基伦斯基 , 塞巴斯蒂安·鲁道夫 :
三重碎片有限模型理论及相关逻辑。 许可证 2021 : 1-13 [i10] 伊曼纽尔·基伦斯基 , 塞巴斯蒂安·鲁道夫 :
三重碎片有限模型理论及相关逻辑。 CoRR公司 abs/2101.08377 ( 2021 ) [第九章] 伊曼纽尔·基隆斯基 , 安蒂·库西斯托 :
单词和树上的一维碎片。 CoRR公司 abs/2110.02678 ( 2021 ) 2020 [公元25年] 伊曼纽尔·基伦斯基 , 亚当·马林诺夫斯基 :
具有及物性的三重碎片。 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公司 腹肌/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条] 伊曼纽尔·基伦斯基 , 安蒂·库西斯托 :
树上的一维逻辑。 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条] 伊曼纽尔·基伦斯基 , 安蒂·库西斯托 :
具有一个等价关系的统一一维片段。 CSL公司 2015 : 597-615 2014 [j3] 伊曼纽尔·基伦斯基 , 雅库布·米查利辛 , 伊恩·普拉特·哈特曼 , 丽迪娅·坦德拉 :
具有等价闭包的二变量一阶逻辑。 SIAM J.计算。 43 ( 三 ) : 1012-1063 ( 2014 ) [第15条] 威托尔德·恰拉托尼克 , 伊曼纽尔·基伦斯基 , 菲利普·马佐维耶基 :
具有确定性传递闭包的弱逻辑的可判定性。 CSL-LICS公司 2014 : 29:1-29:10 [第14条] 伊曼纽尔·基伦斯基 , 安蒂·库西斯托 :
具有等式的统一一维片段的复杂性和表达性。 多功能控制系统(1) 2014 : 365-376 [i2] 伊曼纽尔·基伦斯基 , 安蒂·库西斯托 :
具有等式的统一一维片段的复杂性和表达性。 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——具有传递性的保护片段的完整变体。 STACS公司 2002 : 608-619