编辑配置文件(在新选项卡中打开) 斯瓦特、维埃索 合著者距离 作者ID: szwast.wieslaw公司 发布日期: 斯瓦特、维埃索;斯瓦斯特、维斯劳 已编制索引的文档: 16出版物自1985年起 合著者: 6位合著者具有10联合出版物 45位合作作者 全部的 前5名合著者 6 单作者的 7 利迪亚·坦德拉 三 Leszek M.帕霍尔斯基。 2 伊恩·普拉特·哈特曼 1 安德烈·莱因哈德 1 Stawski,Bogusław 1 托马斯·韦伯 全部的 前5名系列 2 符号逻辑杂志 2 Zeszyty Naukowe Wyższej Szkoly教育学进出口。波斯坦索·斯拉斯基奇与奥波卢。马特马提卡 1 波兰科学院公报。技术科学 1 SIAM计算机杂志 1 理论计算机科学 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 逻辑与计算杂志 1 国际计算机科学基础杂志 1 Zeszyty Naukow Uniwersytetu Opolskiego公司。马特马提卡 领域 14 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 1 地球物理学(86-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用53中的次36文件 引用人▼ 年份▼ 带计数的一阶二变量逻辑的复杂性结果。 Zbl 0956.03039号 莱泽克·帕霍尔斯基;斯瓦特、维埃索;利迪亚·坦德拉 16 2000 带有可传递防护装置的防护碎片。 兹比尔1048.03010 斯瓦特、维埃索;利迪亚·坦德拉 10 2004 带凹槽的碎片再次出现。 Zbl 1468.03005号 伊恩·普拉特·哈特曼;斯瓦特、维埃索;利迪亚·坦德拉 8 2019 \具有一个传递关系的(\mathrm{FO}^2)是可判定的。 Zbl 1354.03007号 斯瓦特、维埃索;利迪亚·坦德拉 7 2013 奎因带凹槽的碎片是非基本的。 Zbl 1370.03019号 Pratt Hartmann,伊恩;斯瓦斯特、维斯劳;利迪亚·坦德拉 三 2016 关于具有传递性的保护碎片的有限可满足性问题。 Zbl 1143.03331号 斯瓦特、维埃索;利迪亚·坦德拉 三 2005 关于具有一个传递关系的二元逻辑片段的可满足性问题。 兹比尔1444.03011 斯瓦特、维埃索;利迪亚·坦德拉 2 2019 存在二阶极小哥德尔等式句类0-1律的反例。 Zbl 0803.03016号 莱泽克·帕霍尔斯基;斯瓦特、维埃索 2 1993 存在二阶哥德尔句的渐近概率。 Zbl 0736.03012号 莱泽克·帕霍尔斯基;斯瓦特、维埃索 2 1991 带凹槽的碎片再次出现。 Zbl 1468.03005号 伊恩·普拉特·哈特曼;斯瓦特、维埃索;利迪亚·坦德拉 8 2019 关于具有一个传递关系的二元逻辑片段的可满足性问题。 Zbl 1444.03011号 斯瓦特、维埃索;利迪亚·坦德拉 2 2019 奎因带凹槽的碎片是非基本的。 Zbl 1370.03019号 伊恩·普拉特·哈特曼;斯瓦斯特、维斯劳;利迪亚·坦德拉 三 2016 \具有一个传递关系的(\mathrm{FO}^2)是可判定的。 Zbl 1354.03007号 斯瓦特、维埃索;利迪亚·坦德拉 7 2013 关于具有传递性的保护片段的有限可满足性问题。 Zbl 1143.03331号 斯瓦特、维埃索;利迪亚·坦德拉 三 2005 带有可传递防护装置的防护碎片。 兹比尔1048.03010 斯瓦特、维埃索;利迪亚·坦德拉 10 2004 带计数的一阶二变量逻辑的复杂性结果。 Zbl 0956.03039号 莱泽克·帕霍尔斯基;斯瓦特、维埃索;利迪亚·坦德拉 16 2000 存在二阶极小哥德尔等式句类0-1律的反例。 Zbl 0803.03016号 莱泽克·帕霍尔斯基;斯瓦特、维埃索 2 1993 存在二阶哥德尔句的渐近概率。 Zbl 0736.03012号 莱泽克·帕霍尔斯基;斯瓦特、维埃索 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名57位作者引用 6 伊恩·普拉特·哈特曼 5 利迪亚·坦德拉 4 巴托斯·贝德纳西克 4 伊曼纽尔·基伦斯基 三 Stéphane P.德姆里。 三 乌尔里克·萨特勒 2 维托尔德·查拉托尼克 2 勒巴尔,让-玛丽 2 卡斯滕·卢茨 2 鲍里斯·莫提克 2 斯瓦特、维埃索 2 王,燕京 1 萨古·本奈姆 1 Michael A.Benedikt。 1 大卫·布雷索林 1 Chang、Liang 1 丹尼尔·丹尼尔斯基 1 黛拉·莫妮卡,达里奥 1 Deters,摩根 1 亚历山德罗·费兰特 1 劳尔·费尔瓦里 1 顾天龙 1 顾依兰 1 克里斯托弗·汉普森 1 伊恩·霍洛克斯 1 乌尔里希·赫斯塔特 1 让·克里斯托夫·荣格 1 叶夫根尼·哈萨克夫 1 埃里克科普琴斯基 1 阿吉·库鲁茨 1 安蒂·库西斯托 1 拉斯蒂斯拉夫·伦哈特 1 刘、莫 1 詹姆斯·林奇(James F.Lynch)。 1 阿莱西奥·曼苏蒂 1 毛里西奥·马特尔 1 菲利普·马佐维耶基 1 贾库布·米查利辛 1 安吉洛·蒙塔纳里 1 马丁·蒙德亨克 1 那不勒斯,玛格丽塔 1 奥托普,简 1 阿南莎·帕德马纳巴 1 帕伦特,米姆 1 拉马努贾姆,R。 1 雷娜特·施密特(Renate A.Schmidt)。 1 施耐德,托马斯 1 托马斯·施温蒂克 1 圭多·西亚维科 1 石忠志 1 米哈伊尔·苏琴斯基 1 托尼·谭 1 沃尔克·韦伯 1 彼得·维特科夫斯基 1 詹姆斯·沃雷尔。 1 赵玲忠 1 郑森 全部的 前5名15篇连载文章中引用 6 ACM计算逻辑事务 5 信息与计算 4 自动推理杂志 2 纯逻辑与应用逻辑年鉴 2 逻辑、语言与信息杂志 2 数学与人工智能年鉴 1 信息处理信件 1 符号逻辑杂志 1 SIAM计算机杂志 1 理论计算机科学 1 计算复杂性 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 应用逻辑杂志 1 计算机科学中的逻辑方法 在3个字段中引用 28 计算机科学(68至XX) 25 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 按年份列出的引文