加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 有界展开类的一阶解释。 (英语) Zbl 1446.68094号 ACM事务处理。计算。日志。 21,第4号,第29条,第41页(2020年).MSC公司:60年第68季度 03B70号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第29条,第41页(2020年;Zbl 1446.68094) 全文: 内政部 arXiv公司 链接
科德·艾克迈耶;van den Heuvel,简;川崎敬一;斯蒂芬·克鲁泽;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;丹尼尔·基罗兹(Daniel A.Quiroz)。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 有序结构的模型检查。 (英语) Zbl 1446.68092号 ACM事务处理。计算。日志。 21,第2号,第11条,28页(2020年).MSC公司:60年第68季度 03B70号 05C75号 05C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Eickmeyer}等人,《美国医学杂志》。计算。日志。21,第2号,第11条,第28页(2020年;Zbl 1446.68092) 全文: 内政部 arXiv公司
阿努吉·达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 模态逻辑中的膨胀不动点。 (英语) Zbl 1407.03031号 ACM事务处理。计算。日志。 第5期,第282-315号(2004年).MSC公司:03B45 03B25号 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人,ACM Trans。计算。日志。5,第2号,282--315(2004;Zbl 1407.03031) 全文: 内政部