埃尔卡尔·塞尔曼
人员信息
优化列表
2020年-今天
2022 [注2] 桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 ACM事务处理。 计算。 日志。 23 ( 1 ) : 1:1-1:31 ( 2022 )
2010 – 2019
2018 [j1] 维德·帕库萨 , 斯文娅·沙尔特霍夫(Svenja Schalthöfer) , 埃尔卡尔·塞尔曼 :
无选择多项式时间中Cai-Fürer-Immerman问题的可定义性。 ACM事务处理。 计算。 日志。 19 ( 2 ) : 7:1-7:27 ( 2018 ) 2016 【c3】 维德·帕库萨 , 斯文娅·沙尔特霍夫(Svenja Schalthöfer) , 埃尔卡尔·塞尔曼 :
无选择多项式时间中Cai-Fürer-Immerman问题的可定义性。 CSL公司 2016 : 19:1-19:17 2015 【c2】 桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 MFCS(1) 2015 : 319-330 [i2] 桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 CoRR公司 abs/1503.08792 ( 2015 ) 2014 【c1】 马丁·格罗 , 克里斯蒂安·科斯廷 , 马丁·姆拉德诺夫 , 埃尔卡尔·塞尔曼 :
通过颜色细化来减少尺寸。 欧洲航天局 2014 : 第505页至第516页 2013 [i1] 马丁·格罗 , 克里斯蒂安·科斯廷 , 马丁·姆拉德诺夫 , 埃尔卡尔·塞尔曼 :
通过颜色细化减少尺寸。 CoRR公司 abs/1307.5697 ( 2013 )