维斯拉夫·斯瓦斯特
人员信息
优化列表
2010 – 2019
2019 [公元9年] 伊恩·普拉特·哈特曼 , 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
重温长笛碎片。 J.塞姆。 日志。 84 ( 三 ) : 1020-1048 ( 2019 ) [j8] 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
关于具有一个传递关系的二元逻辑片段的可满足性问题。 J.日志。 计算。 29 ( 6 ) : 881-911 ( 2019 ) 2018 [i2] 维斯拉夫·斯瓦斯特 , 莉迪亚·坦德拉 :
关于具有一个传递关系的二元逻辑片断的可满足性问题。 CoRR公司 abs/1804.09447 ( 2018 ) [i1] 伊恩·普拉特·哈特曼 , 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
奎因的长笛片段重温。 CoRR公司 abs/1812.06440 ( 2018 ) 2016 【c7】 伊恩·普拉特·哈特曼 , 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
奎因的长笛碎片是非元素的。 CSL公司 2016 : 39:1-39:21 2013 【c6】 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
具有一个传递关系的FO^2是可判定的。 STACS公司 2013 : 317-328
2000 – 2009
2005 【c5】 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
关于具有传递性的保护碎片的有限可满足性问题。 LPAR公司 2005 : 307-321 2004 [j7] 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
带有可传递防护装置的防护碎片。 Ann.纯应用。 日志。 128 ( 1-3 ) : 227-276 ( 2004 ) 2001 【c4】 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
关于具有传递性的保护碎片的决策问题。 低收入国家 2001 : 147-156 2000 [j6] 莱泽克·帕霍尔斯基 , 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
带计数的一阶二变量逻辑的复杂性结果。 SIAM J.计算。 29 ( 4 ) : 1083-1117 ( 2000 )
1990 – 1999
1997 【c3】 莱泽克·帕霍尔斯基 , 维斯拉夫·斯瓦斯特 , 莉迪亚·坦德拉 :
带计数的二元逻辑的复杂性。 低收入国家 1997 : 318-327 1995 [j5] 维斯拉夫·斯瓦斯特 :
关于等式存在二阶极小哥德尔句的渐近概率的注记。 发现的国际期刊。 计算。 科学。 6 ( 4 ) : 339-351 ( 1995 ) 1993 【j4】 莱泽克·帕霍尔斯基 , 维斯拉夫·斯瓦斯特 :
存在二阶极小哥德尔等式句类0-1律的反例。 Inf.计算。 107 ( 1 ) : 91-103 ( 1993 ) 1991 [j3] 莱泽克·帕霍尔斯基 , 维斯拉夫·斯瓦斯特 :
二阶哥德尔结构存在的渐近概率。 J.塞姆。 日志。 56 ( 2 ) : 427-438 ( 1991 ) [注2] 维斯拉夫·斯瓦斯特 :
关于号角谱。 西奥。 计算。 科学。 82 ( 2 ) : 329-339 ( 1991 ) 【c2】 莱泽克·帕霍尔斯基 , 威斯劳·斯瓦斯特 :
关于具有等式的存在二阶极小哥德尔句类的0-1律。 低收入国家 1991 : 280-285 1990 [j1] 威斯劳·斯瓦斯特 :
关于发电机问题。 数学。 日志。 问:。 36 ( 1 ) : 23-27 ( 1990 )
1980 – 1989
1989 【c1】 莱泽克·帕霍尔斯基 , 维斯拉夫·斯瓦斯特 :
0-1法则对存在的二阶哥德尔等式句类是失败的。 光纤通信系统 1989 : 160-163