吉塞拉·克罗姆斯
人员信息
SPARQL查询
优化列表
2020年–今天
2021 [j1] 彼得·赫特林 , 吉塞拉·克罗姆斯 :
EXPSPACE——逻辑K4×S5和S4×S5的完备性以及子集空间的逻辑。 ACM事务处理。 计算。 日志。 22 ( 4 ) : 24:1-24:71 ( 2021 )
2010 – 2019
2019 [i2] 彼得·赫特林 , 吉塞拉·克罗姆斯 :
EXPSPACE-逻辑K4xS5和S4xS5的完整性以及子集空间的逻辑,第1部分:ESPACE-算法。 CoRR公司 abs/1908.03501 ( 2019 ) [i1] 彼得·赫特林 , 吉塞拉·克罗姆斯 :
EXPSPACE-逻辑K4xS5和S4xS5的完整性以及子集空间的逻辑,第2部分:EXPSPACE-硬。 CoRR公司 abs/1908.03509 ( 2019 )