巴托斯·贝德纳西克;伊曼纽尔·基伦斯基;彼得·维特科夫斯基 完成图片:带有逆向的分级模态逻辑的复杂性。 (英语) Zbl 07776320号 理论与实践。日志。程序。 21,第4期,493-520(2021).MSC公司:第68季度25 03B45号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarzyk}等人,理论与实践。日志。程序。21,第4号,493--520(2021;Zbl 07776320) 全文: 内政部 arXiv公司 OA许可证
维托尔德·查拉托尼克;叶戈尔·古斯科夫;伊恩·普拉特·哈特曼;彼得·维特科夫斯基 森林计数的二变量一阶逻辑。 (英语) Zbl 1415.68110号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 214-232 (2018).MSC公司:第68季度25 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,EPiC Ser。计算。57、214--232(2018;Zbl 1415.68110) 全文: 内政部
维托尔德·查拉托尼克;彼得·维特科夫斯基 带有计数和树的双变量逻辑。 (英语) Zbl 1367.03063号 ACM事务处理。计算。日志。 17号第4条第31条第27页(2016年).MSC公司:03C13号机组 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{P.Witkowski},ACM Trans。计算。日志。17,第4号,第31条,第27页(2016年;Zbl 1367.03063) 全文: 内政部
维托尔德·查拉托尼克;彼得·维特科夫斯基 具有计数和线性顺序的双变量逻辑。 (英语) Zbl 1448.03006号 日志。计算方法。科学。 12,第2号,第8号文件,第31页(2016年).MSC公司:03年2月25日 03B20型 03C13号机组 03C80号 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{P.Witkowski},Log。计算方法。科学。12,第2号,第8号论文,31页(2016;Zbl 1448.03006) 全文: 内政部
维托尔德·查拉托尼克;彼得·维特科夫斯基 具有计数和线性顺序的双变量逻辑。 (英语) Zbl 1373.68259号 Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林,2015年9月7日至10日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,631-647(2015)。MSC公司:第68季度25 03B20型 03C13号机组 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{P.Witkowski},LIPIcs——莱布尼茨国际程序。通知。41631-647(2015年;Zbl 1373.68259) 全文: 内政部 arXiv公司
维托尔德·查拉托尼克;彼得·维特科夫斯基 带有计数和树的双变量逻辑。 (英语) Zbl 1433.03016号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。73-82 (2013).MSC公司:03年2月25日 03B20型 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{P.Witkowski},摘自:2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,2013年LICS,美国路易斯安那州新奥尔良市杜兰大学,2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。73-82(2013;Zbl 1433.03016) 全文: 内政部