伊曼纽尔·基伦斯基;利迪亚·坦德拉 具有传递保护和相关变量的二元保护碎片的有限可满足性。 (英语) Zbl 1407.03009号 ACM事务处理。计算。日志。 19,第2号,第8条,第34页(2018年).MSC公司:03B25号 03C13号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieron ski}和\textit{L.Tendera},ACM Trans。计算。日志。19,第2号,第8条,第34页(2018;Zbl 1407.03009) 全文: 内政部 arXiv公司
萨古·本奈姆;迈克尔·本尼迪克特;维托尔德·查拉托尼克;伊曼纽尔·基伦斯基;拉斯蒂斯拉夫·伦哈特;菲利普·马佐维耶基;詹姆斯·沃雷尔 有限树上二元逻辑的复杂性。 (英语) Zbl 1367.03062号 ACM事务处理。计算。日志。 17号第4条第32条第38页(2016年).MSC公司:03B70号 03C13号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Benaim}等人,ACM Trans。计算。日志。17,第4号,第32条,第38页(2016年;Zbl 1367.03062) 全文: 内政部 链接
贾库布·米查利辛;奥托普,简;伊曼纽尔·基伦斯基 关于初等模态逻辑的可判定性。 (英语) 兹比尔1367.03043 ACM事务处理。计算。日志。 17,第1号,第2条,第47页(2015年).MSC公司:03B45号 03B25号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}等人,ACM Trans。计算。日志。17,第1号,第2条,47页(2015年;Zbl 1367.03043) 全文: 内政部